diff options
| author | Vincent Laporte | 2019-06-25 09:10:44 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-07-22 12:17:53 +0000 |
| commit | c878a5e2c0c2a01512e263d3ed2dfdd8e611086f (patch) | |
| tree | 90191993778dcf27e3ecaf5c43040cd57a69646d /kernel/uint63.mli | |
| parent | 033021860b2ea6fee901f6c760dcd8292ed07fe5 (diff) | |
[Extraction] Add support for primitive integers
The ExtrOCamlInt63 module can be required to map primitives from the Int63
module to their OCaml implementation (module Uint63 from the kernel).
Diffstat (limited to 'kernel/uint63.mli')
0 files changed, 0 insertions, 0 deletions