Module type Equal.S

type t
val equal : t equal