package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Representation of the mapping from module paths to files.

type t

Module path mapping.

val empty : t

empty is an empty module path mapping.

exception Already_mapped

Exception raised if an attempt is made to map an already mapped module (including the root).

val set_root : string -> t -> t

set_root dir m sets the library root of m to be dir.

val add : Path.t -> string -> t -> t

add mp fp map extends the mapping map by associating the module path mp to the file path fp.

exception Root_not_set

Exception raised if an attempt is made to use the get function prior to the root being set (using set_root).

val get : Path.t -> t -> string

get mp map obtains the filename corresponding to the module path mp in map (with no particular extension).

val iter : (Path.t -> string -> unit) -> t -> unit

iter f map calls function f on every binding stored in map.

val pp : t Lplib.Base.pp

pp ppf t prints t on formatter ppf (for debug).