alba

Alba compiler
IN THIS PACKAGE
type t
val make : string -> Term.typ -> t