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