package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `Coq_checklib.CheckFlags`Source

Sourceval set_local_flags : Declarations.typing_flags -> Environ.env -> Environ.env

Set flags except for those ignored by the checker (see .ml file for those).

Sourceval enable_vm : bool ref

Whether the user asked for the VM, i.e. the value of -bytecode-compiler.