Module V.I

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