Proofview_monad.Giveup
Lens to the list of goals which were given up during the execution of the tactic.
type t
= goal list
val put : t -> unit Logical.t