package coq
Formal proof management system
Install
Dune Dependency
Authors
Maintainers
Sources
coq-8.15.1.tar.gz
sha256=513e953b7183d478acb75fd6e80e4dc32ac1a918cf4343ac31a859cfb4e9aad2
doc/coq-core.lib/CWarnings/index.html
Module CWarnings
Source
Cleans up a user provided warnings status string, e.g. removing unknown warnings (in which case a warning is emitted) or subsumed warnings .
with_warn "-xxx,+yyy..." f x
calls f x
after setting the warnings as specified in the string (keeping other previously set warnings), and restores current warnings after f()
returns or raises an exception. If both f and restoring the warnings raise exceptions, the latter is raised.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>