alba

Alba compiler
IN THIS PACKAGE
module Pretty_printer : sig ... end
module Term_print : sig ... end
module Expression = Ast.Expression
module Expression_parser : sig ... end
module Error_print : sig ... end
val standard_context : Alba_core.Context.t
val string_of_term_type : Alba_core.Term.t -> Alba_core.Term.t -> string
val string_of_description : Build_problem.description -> string
val build_expression : string -> ( Alba_core.Term.t * Alba_core.Term.typ, Build_problem.t ) result