diff options
| author | Vincent Laporte | 2019-07-22 12:47:53 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-07-22 13:02:49 +0000 |
| commit | 8675b9d1a574aceb9a9d40c9c135db9c042e00b1 (patch) | |
| tree | b5f5ce6497ab70344fed0966d59ea78cf122dff9 /dev/base_include | |
| parent | c878a5e2c0c2a01512e263d3ed2dfdd8e611086f (diff) | |
[Int63] Implement all primitives in OCaml
Primitive operations addc, addcarryc, subc, subcarryc, and diveucl are
implemented in the kernel so that they can be used by OCaml code (e.g.,
extracted code) as the other primitives.
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions