diff options
| author | Pierre-Marie Pédrot | 2020-05-12 12:13:50 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-05-12 12:18:19 +0200 |
| commit | 65551cdf811a1bf428fcdc7e3e5c51df0fffcb78 (patch) | |
| tree | 995028e052cf0e8b37214d18462dc1ce4c5e8067 /kernel/nativecode.ml | |
| parent | d31cb4d3e55da99d42abdc1f4129ddc03e1631c6 (diff) | |
Wrap the legacy refiner type into the Logic API.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions