[r2003-10-24 09:12:21 by szach] added following operations on integers: is_zero, succ, pred, lt, gt

Original author: szach
Date: 2003-10-24 09:12:21+00:00

types/intervals.ml

@@ -28,10 +28,16 @@ let mult = mult_big_int
 let sub = sub_big_int
 let div = div_big_int
 let modulo  = mod_big_int
+let succ = succ_big_int
+let pred = pred_big_int
+
+let lt = lt_big_int
+let gt = gt_big_int
 
 let zero = big_int_of_int 0
 let one = big_int_of_int 1
 let minus_one = big_int_of_int (-1)
+let is_zero = equal zero
 end
 
 type interval = 

types/intervals.mli

@@ -5,12 +5,18 @@ module V : sig
 
   val is_int: t -> bool
   val get_int: t -> int
+  val is_zero: t -> bool
 
   val add: t -> t -> t
   val mult: t -> t -> t
   val sub: t -> t -> t
   val div: t -> t -> t
   val modulo: t -> t -> t
+  val succ: t -> t
+  val pred: t -> t
+
+  val lt: t -> t -> bool
+  val gt: t -> t -> bool
 
   val zero : t
   val one : t