Module Coq_config

val 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.

type relocatable_path =
| NotRelocatable of string
| Relocatable of string
val install_prefix : relocatable_path
val coqlib : relocatable_path
val configdir : relocatable_path
val datadir : relocatable_path
val docdir : relocatable_path
val coqlibsuffix : string
val configdirsuffix : string
val datadirsuffix : string
val docdirsuffix : string
val ocamlfind : string
val caml_flags : string
val arch : string
val arch_is_win32 : bool
val version : string
val caml_version : string
val caml_version_nums : int list
val vo_version : int32
val all_src_dirs : string list
val exec_extension : string
val browser : string

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

val wwwcoq : string
val wwwstdlib : string
val wwwrefman : string
val wwwbugtracker : string
val bytecode_compiler : bool
type native_compiler =
| NativeOff
| NativeOn of {
ondemand : bool;
}
val native_compiler : native_compiler