module type Robustly_comparable = Robustly_comparable.Stype t
val (>=.) : t -> t -> boolval (<=.) : t -> t -> boolval (=.) : t -> t -> boolval (>.) : t -> t -> boolval (<.) : t -> t -> boolval (<>.) : t -> t -> boolval robustly_compare : t -> t -> int