package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
val local : bool
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 ocaml : string
val ocamlfind : string
val ocamllex : string
val camlbin : string
val camllib : string
val camlp5o : string
val camlp5bin : string
val camlp5lib : string
val camlp5compat : string
val coqideincl : string
val cflags : string
val caml_flags : string
val best : string
val arch : string
val arch_is_win32 : bool
val vmbyteflags : string list
val version : string
val caml_version : string
val caml_version_nums : int list
val date : string
val compile_date : string
val vo_magic_number : int
val state_magic_number : int
val core_src_dirs : string list
val plugins_dirs : string list
val all_src_dirs : string list
val exec_extension : string
val browser : string
val has_coqide : string
val gtk_platform : [ `QUARTZ | `WIN32 | `X11 ]
val natdynlinkflag : string
val flambda_flags : string list
val wwwcoq : string
val wwwrefman : string
val wwwbugtracker : string
val wwwstdlib : string
val localwwwrefman : string
val bytecode_compiler : bool
val native_compiler : bool
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