module type S =sig..end
type robustly_comparable
val (>=.) : robustly_comparable ->
robustly_comparable -> boolval (<=.) : robustly_comparable ->
robustly_comparable -> boolval (=.) : robustly_comparable ->
robustly_comparable -> boolval (>.) : robustly_comparable ->
robustly_comparable -> boolval (<.) : robustly_comparable ->
robustly_comparable -> boolval (<>.) : robustly_comparable ->
robustly_comparable -> bool