diff options
| author | Vincent Laporte | 2019-10-28 15:15:11 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-10-31 14:10:58 +0000 |
| commit | c0fd4618ac7d35de8658fdcf626cdf26c0cca415 (patch) | |
| tree | 1f358788147421aa4e13b7cbe99687bbd0e5386d /kernel/nativelambda.mli | |
| parent | fcebe5a64bb253862e52503b7d4dd6c4c1aebcdf (diff) | |
lia: depend only on ZArith_base
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions