Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package alba
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type pos = Fmlib.Character_parser.Position.ttype problem = range * problem_descriptionval build :
Ast.Expression.t ->
Alba_core.Context.t ->
((Alba_core.Term.t * Alba_core.Term.typ) list, problem) resultmodule Print (P : Fmlib.Pretty_printer.SIG) : sig ... end