fact: Definition EvalGeneralizedQuantifier (q : Quantifier) (v : Var) (r : Expression) (e : Expression) (st : State.t): Int.t := fold_right ( QuantOp q) ( QuantIdentityElement q) ( map (QuantExpression v e st) ( filter (QuantFilter v r st) QuantSet ) ).
imports: Coq(List) Coq(ListSet) Coq(FSetInterface) Coq(Bool) Coq(ZArith) Coq(Relation_Operators) JML(ListHelpers)