package coq-core

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

Module Coq_configSource

Sourceval install_prefix : string
Sourceval coqlib : string
Sourceval configdir : string
Sourceval datadir : string
Sourceval docdir : string
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 wwwstdlib : 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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct