package coq
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Formal proof management system
Install
dune-project
Dependency
Authors
Maintainers
Sources
coq-8.14.1.tar.gz
sha256=3cbfc1e1a72b16d4744f5b64ede59586071e31d9c11c811a0372060727bfd9c3
doc/coq-core.tactics/Term_dnet/Make/argument-1-Ident/index.html
Parameter Make.Ident
val subst : Mod_subst.substitution -> t -> thow to substitute them for storage
val constr_of : t -> Constr.constrhow to recover the term from the identifier