[r2003-11-29 11:28:24 by szach] added to_string

Original author: szach
Date: 2003-11-29 11:28:24+00:00

types/intervals.ml

@@ -21,6 +21,7 @@ let serialize t i = Serialize.Put.string t (string_of_big_int i)
 let deserialize t = big_int_of_string (Serialize.Get.string t)
 
 let mk = big_int_of_string
+let to_string = string_of_big_int
 let get_int = int_of_big_int
 let is_int = is_int_big_int
 let add = add_big_int

types/intervals.mli

@@ -2,6 +2,7 @@ module V : sig
   include Custom.T
   val print : Format.formatter -> t -> unit
   val mk: string -> t
+  val to_string: t -> string
 
   val is_int: t -> bool
   val get_int: t -> int