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