Module Albalib.Build_expression

val build : Ast.Expression.t -> Alba_core.Context.t -> (Alba_core.Term.t * Alba_core.Term.typBuild_problem.t) Stdlib.result
val build_definition : Ast.Expression.definition -> Alba_core.Context.t -> (Alba_core.Term.t * Alba_core.Term.typBuild_problem.t) Stdlib.result
val build_named_type : string Ast.Located.t -> Ast.Expression.t -> Alba_core.Context.t -> (Alba_core.Term.typBuild_problem.t) Stdlib.result