package coq
Formal proof management system
Install
Dune Dependency
Authors
Maintainers
Sources
coq-8.16.0.tar.gz
sha256=36577b55f4a4b1c64682c387de7abea932d0fd42fc0cd5406927dca344f53587
doc/coq-core.lib/Genarg/Register/argument-1-M/index.html
Parameter Register.M
val default : ('raw, 'glb, 'top) genarg_type -> ('raw, 'glb, 'top) obj option
A generic object when there is no registered object for this type.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>