1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
open Datatypes
module N =
struct
(** val compare : Big_int_Z.big_int -> Big_int_Z.big_int -> comparison **)
let compare = (fun x y -> let s = Big_int_Z.compare_big_int x y in
if s = 0 then Eq else if s < 0 then Lt else Gt)
(** val add :
Big_int_Z.big_int -> Big_int_Z.big_int -> Big_int_Z.big_int **)
let add = Big_int_Z.add_big_int
(** val mul :
Big_int_Z.big_int -> Big_int_Z.big_int -> Big_int_Z.big_int **)
let mul = Big_int_Z.mult_big_int
end