package why3find

  1. Overview
  2. Docs

Module Why3find.MetaSource

Sourcetype pkg = {
  1. name : string;
  2. path : string;
  3. depends : string list;
  4. drivers : string list;
  5. extracted : bool;
}
Sourceval shared : string -> string

shared f returns the path of file f installed in shared directory.

Sourceval path : string -> string

path pkg returns the topmost installation path of package pkg.

Sourceval find : string -> pkg

find pkg returns the installed package META data, if installed.

Sourceval find_all : string list -> pkg list

find_all pkgs returns all listed packages and their dependencies, in dependency order.

Sourceval install : pkg -> unit

install pkg install the package META data.