val lookup : t -> Ident.ident -> A.ptyp option
val get : t -> Ident.ident -> A.ptyp
val exists : t -> Ident.ident -> bool
val push : t -> (A.lident * A.ptyp) -> t