src/common/intByInt64.ml

   1 (** This module defines a suited representation for bounded integers using
   2     O'Caml Int64. *)
   3
   4 include Int64
   5 let from_int_cmp cmp a b = cmp (compare a b) 0
   6 let eq = from_int_cmp (=)
   7 let lt = from_int_cmp (<)
   8 let le = from_int_cmp (<=)
   9 let gt = from_int_cmp (>)
  10 let ge = from_int_cmp (>=)
  11 let modulo = rem
  12