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