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