Module type Equal.S1

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