Module type Base__.Equal.S1

type 'a t
val equal : 'a equal ‑> 'a t equal