sig
val epsilon : float
type elt = float
and t
val fprint_elt : Pervasives.out_channel -> float -> unit
val fprint : Pervasives.out_channel -> Fcl_float.t -> unit
val size : Fcl_float.t -> int
val min : Fcl_float.t -> float
val max : Fcl_float.t -> float
val min_max : Fcl_float.t -> float * float
val mem : float -> Fcl_float.t -> bool
val interval : float -> float -> Fcl_float.t
val included : Fcl_float.t -> Fcl_float.t -> bool
val strictly_inf : Fcl_float.elt -> Fcl_float.elt -> bool
val compare_elt : Fcl_float.elt -> Fcl_float.elt -> int
val zero : Fcl_float.elt -> bool
val remove_low : Fcl_float.elt -> Fcl_float.t -> Fcl_float.t
val remove_up : Fcl_float.elt -> Fcl_float.t -> Fcl_float.t
end