Module type Interface.QUASIREFLEXIVE_EQ

include EQ
type t
val eq : t -> t -> bool