package coq-core

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val coqlib : string
val configdir : string
val datadir : string
val docdir : string
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 =
  1. | NativeOff
  2. | NativeOn of {
    1. ondemand : bool;
    }
val native_compiler : native_compiler
OCaml

Innovation. Community. Security.