Module type Float_robust_compare.S

module type S = sig .. end

type robustly_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