sig
  type 'a t
  val equal :
    'a Reins.Types.Poly.Equatable.t ->
    'a Reins.Types.Poly.Equatable.t -> bool
end