package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val expand_path_macros : warn:(string -> unit) -> string -> string
val home : warn:(string -> unit) -> string
val coqlib : unit -> string
val docdir : unit -> string
val datadir : unit -> string
val configdir : unit -> string
val set_coqlib : fail:(string -> string) -> unit
val set_user_coqlib : string -> unit
val coqbin : string
val coqroot : string
val coqpath : string list
val ocamlfind : unit -> string
val xdg_config_home : (string -> unit) -> string
val xdg_data_home : (string -> unit) -> string
val xdg_data_dirs : (string -> unit) -> string list
val xdg_dirs : warn:(string -> unit) -> string list
val print_config : ?prefix_var_name:string -> out_channel -> string list -> unit