src/common/intByBig_int.ml

   1 (** This module defines a suited representation for bounded integers. *)
   2
   3 open Big_int
   4 type t = big_int
   5 let of_int = big_int_of_int
   6 let to_int = int_of_big_int
   7 let compare = compare_big_int
   8 let to_string = string_of_big_int
   9 let zero = zero_big_int
  10 let one = unit_big_int
  11 let succ = succ_big_int
  12 let pred = pred_big_int
  13 let neg = minus_big_int
  14 let eq = eq_big_int
  15 let add = add_big_int
  16 let sub = sub_big_int
  17 let mul = mult_big_int
  18 let div = div_big_int
  19 let modulo = mod_big_int
  20 let lt = lt_big_int
  21 let le = le_big_int
  22 let gt = gt_big_int
  23 let ge = ge_big_int
  24