Module type Equal.S

module type S = sig .. end

type t 

val equal : t Equal.equal