]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - src/common/intByBig_int.ml
Package description and copyright added.
[pkg-cerco/acc.git] / 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