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