package coq-core

You can search for identifiers within the package.

in-package search v0.2.0

The Coq Proof Assistant -- Core Binaries and Tools

Install

md5=8d852367b54f095d9fbabd000304d450

sha512=46922d5f2eb6802a148a52fd3e7f0be8370c93e7bc33cee05cf4a2044290845b10ccddbaa306f29c808e7c5019700763e37e45ff6deb507b874a4348010fed50

module S : StateType

Sourceval tclGET : (S.state -> unit Proofview.tactic) -> unit Proofview.tactic

Sourceval tclGET1 : (S.state -> 'a Proofview.tactic) -> 'a Proofview.tactic

Sourceval tclSET : S.state -> unit Proofview.tactic

Sourceval tacUPDATE : (S.state -> S.state Proofview.tactic) -> unit Proofview.tactic

Sourceval get : Proofview.Goal.t -> S.state

On This Page