module type S =sig
..end
typerobustly_comparable =
float
val epsilon : float
val (>=.) : float -> float -> bool
val (<=.) : float -> float -> bool
val (=.) : float -> float -> bool
val (>.) : float -> float -> bool
val (<.) : float -> float -> bool
val (<>.) : float -> float -> bool