Module 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