alba

Alba compiler
IN THIS PACKAGE
Module Alba_core . Term . Inductive
type term = t
type t
val make_simple_inductive : int -> formal_argument list -> formal_argument -> formal_argument list -> inductive