package rocq-runtime

  1. Overview
  2. Docs
package rocq-runtime
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Coq_checklib.CheckFlagsSource

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.