module Z:sig..end
typet =Big_int.big_int
val zero : t
val of_int : int -> t
val to_int : t -> int option
val one : t
val sign : t -> int
val equal : t -> t -> bool
val to_string : t -> string
val pp_print : t CCFormat.printer
val compare : t -> t -> int
val hash : t -> int
val (+) : t -> t -> t
val ( * ) : t -> t -> t