sig
type t
val eq : InfInt.t -> InfInt.t -> bool
val order : InfInt.t -> InfInt.t -> bool
val min : InfInt.t -> InfInt.t -> InfInt.t
val max : InfInt.t -> InfInt.t -> InfInt.t
val zero : InfInt.t
val one : InfInt.t
val minfty : InfInt.t
val pinfty : InfInt.t
val fin : int -> InfInt.t
val to_int : InfInt.t -> int option
val to_string : InfInt.t -> string
val add_lb : InfInt.t -> InfInt.t -> InfInt.t
val add_ub : InfInt.t -> InfInt.t -> InfInt.t
val sub_lb : InfInt.t -> InfInt.t -> InfInt.t
val sub_ub : InfInt.t -> InfInt.t -> InfInt.t
val mul_lb : InfInt.t -> InfInt.t -> InfInt.t
val mul_ub : InfInt.t -> InfInt.t -> InfInt.t
val div_lb : InfInt.t -> InfInt.t -> InfInt.t
val div_ub : InfInt.t -> InfInt.t -> InfInt.t
end