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 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 date : string
val compile_date : string
val vo_version : int32
val state_magic_number : int
val all_src_dirs : string list
val exec_extension : string
val browser : string
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
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