Module Wp.TacOverflow

Auto registered overflow tactic

val overflow : Tactical.t