Ssrcommon.MakeStateval tclGET : ( S.state -> unit Proofview.tactic ) -> unit Proofview.tacticval tclGET1 : ( S.state -> 'a Proofview.tactic ) -> 'a Proofview.tacticval tclSET : S.state -> unit Proofview.tacticval tacUPDATE :
( S.state -> S.state Proofview.tactic ) ->
unit Proofview.tacticval get : Proofview.Goal.t -> S.state