package why3find

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type pkg = {

}

val shared : string -> string

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

val path : string -> string

path pkg returns the topmost installation path of package pkg.

val find : string -> pkg

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

val find_all : string list -> pkg list

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

val install : pkg -> unit

install pkg install the package META data.