sig
  type t
  val equal :
    Reins.Types.Mono.Equatable.t -> Reins.Types.Mono.Equatable.t -> bool
end