Module Albalib.Build_inductive

val build : Ast.Source_entry.inductive array -> Alba_core.Context.t -> (Alba_core.Inductive.tBuild_problem.t) Stdlib.result