package coq
Formal proof management system
Install
Dune Dependency
Authors
Maintainers
Sources
coq-8.15.1.tar.gz
sha256=513e953b7183d478acb75fd6e80e4dc32ac1a918cf4343ac31a859cfb4e9aad2
doc/coq-core.tactics/Term_dnet/Make/argument-1-Ident/index.html
Parameter Make.Ident
val subst : Mod_subst.substitution -> t -> t
how to substitute them for storage
val constr_of : t -> Constr.constr
how to recover the term from the identifier
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>