| 1 | type t |
| 2 | |
| 3 | val base : t |
| 4 | |
| 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 |
| 7 | |
| 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 |
| 10 | |
| 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 |
| 14 | |
| 15 | val level_set : t -> Tiger_translate.Level.t -> t |
| 16 | val level_get : t -> Tiger_translate.Level.t |