5 val get_typ : t -> Tiger_symbol.t -> Tiger_env_type.t option
6 val get_val : t -> Tiger_symbol.t -> Tiger_env_value.t option
8 val set_typ : t -> Tiger_symbol.t -> Tiger_env_type.t -> t
9 val set_val : t -> Tiger_symbol.t -> Tiger_env_value.t -> t
11 val loop_begin : t -> (Tiger_symbol.t * t)
12 val loop_end : t -> Tiger_symbol.t -> t
13 val loop_current : t -> Tiger_symbol.t option