sig
  type 'a t
  val compare :
    ('-> '-> int) ->
    'Reins.Types.Poly.Comparable.t ->
    'Reins.Types.Poly.Comparable.t -> int
  val to_string :
    ('-> string) -> 'Reins.Types.Poly.Comparable.t -> string
end