Module Eq.I

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