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