Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Console : sig ... end
Verbose level and loggers management.
module Debug : sig ... end
Helper functions for debugging. *
module Error : sig ... end
Warnings and errors.
module Escape : sig ... end
Escaped identifiers "{|...|}"
.
module Library : sig ... end
Lambdapi library management.
module Logger : sig ... end
Functions for creating loggers. *
module Path : sig ... end
Module paths in the Lambdapi library.
module Pos : sig ... end
Positions in Lambdapi files.