package coq-core
The Coq Proof Assistant -- Core Binaries and Tools
Install
dune-project
Dependency
Authors
Maintainers
Sources
coq-8.18.0.tar.gz
md5=8d852367b54f095d9fbabd000304d450
sha512=46922d5f2eb6802a148a52fd3e7f0be8370c93e7bc33cee05cf4a2044290845b10ccddbaa306f29c808e7c5019700763e37e45ff6deb507b874a4348010fed50
doc/ltac2_plugin/Ltac2_plugin/Tac2expr/PartialPat/index.html
Module Tac2expr.PartialPat
type r = | Var of Names.Name.t| Atom of atom| Ref of ctor_data_for_patterns * t list| Or of t list| As of t * Names.Id.t| Extension of {example : atom option;
}