Up – Package index » doc » Library alba.albalib » Albalib » Build_expression

Module `Albalib.Build_expression`Source

val build : 
  Ast.Expression.t ->
  Alba_core.Context.t ->
  (Alba_core.Term.t * Alba_core.Term.typ, Build_problem.t) result

Source

val build_definition : 
  Ast.Expression.definition ->
  Alba_core.Context.t ->
  (Alba_core.Term.t * Alba_core.Term.typ, Build_problem.t) result

Source

val build_named_type : 
  string Albalib.Ast.Located.t ->
  Ast.Expression.t ->
  Alba_core.Context.t ->
  (Alba_core.Term.typ, Build_problem.t) result