module Path : sig ... end
type t
Coq runtime enviroment, including location of Coq's stdlib
val init : unit -> t
init ()
will initialize the Coq environment.
val stdlib : t -> Path.t
stdlib directory
val plugins : t -> Path.t
plugins directory
val user_contrib : t -> Path.t
user contrib directory
val tool : t -> string -> Path.t
tool-specific directory
val native_cmi : t -> string -> Path.t
.cmi files needed for native compilation
val revision : t -> Path.t
The location of the revision file
val corelib : t -> Path.t
coq-core/lib directory, not sure if to keep this
val coqlib : t -> Path.t
coq/lib directory, not sure if to keep this
val set_coqlib : string -> unit
Internal, should be set automatically by passing cmdline args to init; note that this will set both coqlib
and corelib
for now.