Module MP.FM

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