sig
  type t
  val compare :
    Reins.Types.Mono.Comparable.t -> Reins.Types.Mono.Comparable.t -> int
  val to_string : Reins.Types.Mono.Comparable.t -> string
end