alba

Alba compiler
IN THIS PACKAGE
Parameter #1 Alba_core . Print_inductive . Make . Gamma
type t
val is_valid_index : int -> t -> bool
val name_of_index : int -> t -> string
val push_local : string -> Term.typ -> t -> t