package coq

  1. Overview
  2. Docs
package coq
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 gtk_platform : [ `QUARTZ | `WIN32 | `X11 ]
val wwwcoq : string
val wwwrefman : string
val wwwbugtracker : string
val wwwstdlib : string
val localwwwrefman : 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.

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