From 2422d7dee3fda9ac5e65636db937d3d98c85e576 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Tue, 1 Dec 2020 21:03:18 +0100
Subject: Greatly simplify the conversion functions between Z.t and Uint63.t.

---
 kernel/uint63.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/uint63.mli')

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
 
-- 
cgit v1.2.3