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 /_CoqProject | |
| 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 '_CoqProject')
0 files changed, 0 insertions, 0 deletions