Module type Equal.S1

module type S1 = sig .. end

type 'a t 

val equal : 'a Equal.equal -> 'a t Equal.equal