Module Firstorder_plugin.Instances

val collect_quantified : Environ.env -> Evd.evar_map -> Sequent.t -> Formula.any_formula list * Sequent.t