Module TacOverflow

module TacOverflow: sig .. end

Auto registered overflow tactic


val overflow : Tactical.t