Module WDecide.F

val eqb : M.E.t -> M.E.t -> bool