sig
  type t = { mutable inf : Apron.Scalar.t; mutable sup : Apron.Scalar.t; }
  val of_scalar : Apron.Scalar.t -> Apron.Scalar.t -> Apron.Interval.t
  val of_infsup : Apron.Scalar.t -> Apron.Scalar.t -> Apron.Interval.t
  val of_mpq : Mpq.t -> Mpq.t -> Apron.Interval.t
  val of_mpqf : Mpqf.t -> Mpqf.t -> Apron.Interval.t
  val of_int : int -> int -> Apron.Interval.t
  val of_frac : int -> int -> int -> int -> Apron.Interval.t
  val of_float : float -> float -> Apron.Interval.t
  val of_mpfr : Mpfr.t -> Mpfr.t -> Apron.Interval.t
  val is_top : Apron.Interval.t -> bool
  val is_bottom : Apron.Interval.t -> bool
  val is_leq : Apron.Interval.t -> Apron.Interval.t -> bool
  val cmp : Apron.Interval.t -> Apron.Interval.t -> int
  val equal : Apron.Interval.t -> Apron.Interval.t -> bool
  val is_zero : Apron.Interval.t -> bool
  val equal_int : Apron.Interval.t -> int -> bool
  val neg : Apron.Interval.t -> Apron.Interval.t
  val top : Apron.Interval.t
  val bottom : Apron.Interval.t
  val set_infsup :
    Apron.Interval.t -> Apron.Scalar.t -> Apron.Scalar.t -> unit
  val set_top : Apron.Interval.t -> unit
  val set_bottom : Apron.Interval.t -> unit
  val print : Format.formatter -> Apron.Interval.t -> unit
end