Module Firstorder_plugin.Ground
val get_flags : bool -> Formula.flagsval ground_tac : flags:Formula.flags -> unit Proofview.tactic -> ((Sequent.t -> unit Proofview.tactic) -> unit Proofview.tactic) -> unit Proofview.tactic
Firstorder_plugin.Groundval get_flags : bool -> Formula.flagsval ground_tac : flags:Formula.flags -> unit Proofview.tactic -> ((Sequent.t -> unit Proofview.tactic) -> unit Proofview.tactic) -> unit Proofview.tactic