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