alba.albalib
Albalib.Build_inductive
alba.core
alba.fmlib
alba.fmlib_js
alba.fmlib_native
alba.fmlib_node
val build : Ast.Source_entry.inductive array -> Alba_core.Context.t -> (Alba_core.Inductive.t, Build_problem.t) result