Commit | Line | Data |
---|---|---|
c0bdf964 SK |
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 | |
35dccbd3 SK |
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 | |
cc540a7e SK |
14 | |
15 | val level_set : t -> Tiger_translate.Level.t -> t | |
16 | val level_get : t -> Tiger_translate.Level.t |