Module type Base.Equal.S1

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