package coq

  1. Overview
  2. Docs
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.