Module Firstorder_plugin.Ground

val get_flags : bool -> Formula.flags
val ground_tac : flags:Formula.flags -> unit Proofview.tactic -> ((Sequent.t -> unit Proofview.tactic) -> unit Proofview.tactic) -> unit Proofview.tactic