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

Module `Albalib.Builder`Source

Sourcetype pos = Fmlib.Character_parser.Position.t

Sourcetype range = pos * pos

val add_definition : 
  Ast.Expression.definition ->
  Alba_core.Context.t ->
  (Alba_core.Context.t, Build_problem.t) result

val add_inductive : 
  Ast.Source_entry.inductive array ->
  Alba_core.Context.t ->
  (Alba_core.Context.t, Build_problem.t) result

val add_entry : 
  Ast.Source_entry.t ->
  Alba_core.Context.t ->
  (Alba_core.Context.t, Build_problem.t) result