diff options
| author | Guillaume Melquiond | 2020-12-02 06:44:10 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2020-12-02 07:35:33 +0100 |
| commit | f4dcd1d9f696972e7cbdaa8d70e5abb1a18820ef (patch) | |
| tree | c4503d3a7fbbf5dfcbc5db18c85593e83dd8f6c7 /kernel/vmlambda.mli | |
| parent | 2422d7dee3fda9ac5e65636db937d3d98c85e576 (diff) | |
Make sure the msb is clear.
This is presumably not usable from the surface language. But an ML module
could easily create a proof of false by passing a negative number to
Const.mkInt.
Diffstat (limited to 'kernel/vmlambda.mli')
0 files changed, 0 insertions, 0 deletions