Module Dec.F

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