diff options
| author | Guillaume Melquiond | 2020-12-01 21:03:18 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2020-12-02 07:33:24 +0100 |
| commit | 2422d7dee3fda9ac5e65636db937d3d98c85e576 (patch) | |
| tree | 5eaa572121e6eeb12ed4160fcb46fc5f94c82274 /kernel/uint63.mli | |
| parent | 9ca7e769b62173a79a1c7d12a363205dd608b519 (diff) | |
Greatly simplify the conversion functions between Z.t and Uint63.t.
Diffstat (limited to 'kernel/uint63.mli')
| -rw-r--r-- | kernel/uint63.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/uint63.mli b/kernel/uint63.mli index 6b47dfc61d..6b2519918a 100644 --- a/kernel/uint63.mli +++ b/kernel/uint63.mli @@ -17,6 +17,7 @@ val maxuint31 : t val of_int : int -> t val to_int2 : t -> int * int (* msb, lsb *) val of_int64 : Int64.t -> t +val to_int64 : t -> Int64.t (* val of_uint : int -> t *) @@ -32,7 +33,6 @@ val hash : t -> int (* conversion to a string *) val to_string : t -> string -val of_string : string -> t val compile : t -> string |