Previous
Up
Next
Module
TacOverflow
module
TacOverflow:
sig
..
end
Auto registered overflow tactic
val
overflow
:
Tactical.t