sig
  type interval = { low : float; high : float; }
  val zero_I : Interval.interval
  val one_I : Interval.interval
  val pi_I : Interval.interval
  val e_I : Interval.interval
  val printf_I :
    (float -> string, unit, string) Pervasives.format ->
    Interval.interval -> unit
  val fprintf_I :
    Pervasives.out_channel ->
    (float -> string, unit, string) Pervasives.format ->
    Interval.interval -> unit
  val sprintf_I :
    (float -> string, unit, string) Pervasives.format ->
    Interval.interval -> string
  val float_i : int -> Interval.interval
  val compare_I_f : Interval.interval -> float -> int
  val size_I : Interval.interval -> float
  val sgn_I : Interval.interval -> Interval.interval
  val truncate_I : Interval.interval -> Interval.interval
  val abs_I : Interval.interval -> Interval.interval
  val union_I_I : Interval.interval -> Interval.interval -> Interval.interval
  val max_I_I : Interval.interval -> Interval.interval -> Interval.interval
  val min_I_I : Interval.interval -> Interval.interval -> Interval.interval
  val ( +$ ) : Interval.interval -> Interval.interval -> Interval.interval
  val ( +$. ) : Interval.interval -> float -> Interval.interval
  val ( +.$ ) : float -> Interval.interval -> Interval.interval
  val ( -$ ) : Interval.interval -> Interval.interval -> Interval.interval
  val ( -$. ) : Interval.interval -> float -> Interval.interval
  val ( -.$ ) : float -> Interval.interval -> Interval.interval
  val ( ~-$ ) : Interval.interval -> Interval.interval
  val ( *$. ) : Interval.interval -> float -> Interval.interval
  val ( *.$ ) : float -> Interval.interval -> Interval.interval
  val ( *$ ) : Interval.interval -> Interval.interval -> Interval.interval
  val ( /$. ) : Interval.interval -> float -> Interval.interval
  val ( /.$ ) : float -> Interval.interval -> Interval.interval
  val ( /$ ) : Interval.interval -> Interval.interval -> Interval.interval
  val mod_I_f : Interval.interval -> float -> Interval.interval
  val inv_I : Interval.interval -> Interval.interval
  val sqrt_I : Interval.interval -> Interval.interval
  val pow_I_i : Interval.interval -> int -> Interval.interval
  val ( **$. ) : Interval.interval -> float -> Interval.interval
  val ( **$ ) : Interval.interval -> Interval.interval -> Interval.interval
  val ( **.$ ) : float -> Interval.interval -> Interval.interval
  val log_I : Interval.interval -> Interval.interval
  val exp_I : Interval.interval -> Interval.interval
  val cos_I : Interval.interval -> Interval.interval
  val sin_I : Interval.interval -> Interval.interval
  val tan_I : Interval.interval -> Interval.interval
  val acos_I : Interval.interval -> Interval.interval
  val asin_I : Interval.interval -> Interval.interval
  val atan_I : Interval.interval -> Interval.interval
  val atan2mod_I_I :
    Interval.interval -> Interval.interval -> Interval.interval
  val atan2_I_I : Interval.interval -> Interval.interval -> Interval.interval
  val cosh_I : Interval.interval -> Interval.interval
  val sinh_I : Interval.interval -> Interval.interval
  val tanh_I : Interval.interval -> Interval.interval
  val size_max_X : Interval.interval array -> float
  val size_mean_X : Interval.interval array -> float
  val printf_X :
    (float -> string, unit, string) Pervasives.format ->
    Interval.interval array -> unit
  val fprintf_X :
    Pervasives.out_channel ->
    (float -> string, unit, string) Pervasives.format ->
    Interval.interval array -> unit
  val sprintf_X :
    (float -> string, unit, string) Pervasives.format ->
    Interval.interval array -> string
  val print_X : Interval.interval array -> unit
  val print_I : Interval.interval -> unit
  val size_X : Interval.interval array -> float
  val size2_X : Interval.interval array -> float
  val ( <$. ) : Interval.interval -> float -> int
  val pow_I_f : Interval.interval -> float -> Interval.interval
  val pow_I_I : Interval.interval -> Interval.interval -> Interval.interval
end