Module Quasireflexive_Eq.I

val (=|=) : E.t -> E.t -> bool