Module Albalib.Builder

type pos = Fmlib.Position.t
type range = pos * pos
val add_definition : Ast.Expression.definition -> Alba_core.Context.t -> (Alba_core.Context.tBuild_problem.t) Stdlib.result
val add_inductive : Ast.Source_entry.inductive array -> Alba_core.Context.t -> (Alba_core.Context.tBuild_problem.t) Stdlib.result
val add_entry : Ast.Source_entry.t -> Alba_core.Context.t -> (Alba_core.Context.tBuild_problem.t) Stdlib.result