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