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