fact: Record Ens := mk_Ens { Ens_type : Type; Ens_empty : Ens_type; Ens_singleton : X -> Ens_type; Ens_add : X -> Ens_type -> Ens_type; Ens_union : Ens_type -> Ens_type -> Ens_type; Ens_remove : X -> Ens_type -> Ens_type; Ens_diff : Ens_type -> Ens_type -> Ens_type; Ens_In : X -> Ens_type -> Prop; Ens_mem : X -> Ens_type -> bool; Ens_fold : forall A, (X -> A -> A) -> Ens_type -> A -> A }.
imports: Coq(FSets Structures.OrderedType) CoLoR(LogicUtil BoolUtil VecUtil FSetUtil NatUtil RelUtil SN SetUtil)