alba.albalib
Term.Inductive
Inductive types
alba.fmlib
alba.fmlib_native
alba.fmlib_node
type term = t
type t
val make_simple_inductive : int -> formal_argument list -> formal_argument -> formal_argument list -> inductive