Module Ssrcommon.MakeState

Parameters

Signature

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