package rocq-runtime

  1. Overview
  2. Docs

Module Coq_configSource

Sourceval gc_ramp_up : (unit -> 'a) -> 'a

If available (OCaml >=5.4), Gc.ramp_up dropping the suspended_collection_work data. Otherwise just call the given function.

Sourcetype relocatable_path =
  1. | NotRelocatable of string
  2. | Relocatable of string
Sourceval install_prefix : relocatable_path
Sourceval configdir : relocatable_path
Sourceval coqlibsuffix : string
Sourceval configdirsuffix : string
Sourceval datadirsuffix : string
Sourceval docdirsuffix : string
Sourceval ocamlfind : string
Sourceval caml_flags : string
Sourceval arch : string
Sourceval arch_is_win32 : bool
Sourceval version : string
Sourceval caml_version : string
Sourceval caml_version_nums : int list
Sourceval vo_version : int32
Sourceval all_src_dirs : string list
Sourceval exec_extension : string
Sourceval browser : string

default web browser to use, may be overridden by environment variable COQREMOTEBROWSER

Sourceval wwwcoq : string
Sourceval wwwcorelib : string
Sourceval wwwrefman : string
Sourceval wwwbugtracker : string
Sourceval bytecode_compiler : bool
Sourcetype native_compiler =
  1. | NativeOff
  2. | NativeOn of {
    1. ondemand : bool;
    }
Sourceval native_compiler : native_compiler