Proofview_monad.Status
Lens to the tactic status (true if safe, false if unsafe)
true
false
val put : bool -> unit Logical.t