Commit | Line | Data |
---|---|---|
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 |