Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lambdapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Console : sig ... endFlag management.
module Debug : sig ... endmodule Error : sig ... endWarnings and errors.
module Escape : sig ... endManagement of escaped identifiers "{|...|}".
module Library : sig ... endLambdapi library management.
module Logger : sig ... endmodule Path : sig ... endModule paths in the Lambdapi library.
module Pos : sig ... endSource code position management. This module may be used to map sequences of characters in a source file to an abstract syntax tree.