Findlib (findlib.Findlib)

exception No_such_package of string * string

exception Package_loop of string

type formal_pred = [

| `NegPred of string
| `Pred of string

]

val init : 
  ?env_ocamlpath:string ->
  ?env_ocamlfind_destdir:string ->
  ?env_ocamlfind_metadir:string ->
  ?env_ocamlfind_commands:string ->
  ?env_ocamlfind_ignore_dups_in:string ->
  ?env_ocamlfind_ignore_dups_in_list:string list ->
  ?env_camllib:string ->
  ?env_ldconf:string ->
  ?config:string ->
  ?toolchain:string ->
  unit ->
  unit

val init_manually : 
  ?ocamlc_command:string ->
  ?ocamlopt_command:string ->
  ?ocamlcp_command:string ->
  ?ocamloptp_command:string ->
  ?ocamlmklib_command:string ->
  ?ocamlmktop_command:string ->
  ?ocamldep_command:string ->
  ?ocamlbrowser_command:string ->
  ?ocamldoc_command:string ->
  ?ignore_dups_in:string ->
  ?ignore_dups_in_list:string list ->
  ?stdlib:string ->
  ?ldconf:string ->
  ?config:string ->
  install_dir:string ->
  meta_dir:string ->
  search_path:string list ->
  unit ->
  unit

val config_file : unit -> string

val default_location : unit -> string

val meta_directory : unit -> string

val search_path : unit -> string list

val command : 
  [ `ocamlbrowser
  | `ocamlc
  | `ocamlcp
  | `ocamldep
  | `ocamldoc
  | `ocamlmklib
  | `ocamlmktop
  | `ocamlopt
  | `ocamloptp ] ->
  string

val ocaml_stdlib : unit -> string

val ocaml_ldconf : unit -> string

val package_directory : string -> string

val package_meta_file : string -> string

val ignore_dups_in : unit -> string list

val package_property : string list -> string -> string -> string

val package_property_2 : 
  string list ->
  string ->
  string ->
  string * formal_pred list

val package_ancestors : string list -> string -> string list

val package_deep_ancestors : string list -> string list -> string list

val resolve_path : ?base:string -> ?explicit:bool -> string -> string

val list_packages : ?tab:int -> ?descr:bool -> out_channel -> unit

val list_packages' : ?prefix:string -> unit -> string list

type rectype =

| Record_core
| Record_load

val record_package : rectype -> string -> unit

val record_package_predicates : string list -> unit

val recorded_packages : rectype -> string list

val is_recorded_package : string -> bool

val type_of_recorded_package : string -> rectype

val recorded_predicates : unit -> string list

val reset_recordings : unit -> unit