Module type Base__Equal.S1

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