Module Proofview_monad.CombSource

Lens to the list of focused goals.

Sourcetype t = goal_with_state list
Sourceval get : t Logical.t
Sourceval set : t -> unit Logical.t
Sourceval modify : (t -> t) -> unit Logical.t