fact: Variables (eq_fun_dec : forall f g : F, {f=g}+{~f=g}) (eq_var_dec : forall x y : X, {x=y}+{~x=y}).
imports: Coq(FSets Structures.OrderedType) CoLoR(LogicUtil BoolUtil VecUtil FSetUtil NatUtil RelUtil SN SetUtil)