Commit | Line | Data |
---|---|---|
1 | type t = | |
2 | | Var of | |
3 | { access : Tiger_translate.access | |
4 | ; ty : Tiger_env_type.t | |
5 | } | |
6 | | Fun of | |
7 | { formals : Tiger_env_type.t list | |
8 | ; result : Tiger_env_type.t | |
9 | ; level : Tiger_translate.Level.t | |
10 | ; label : Tiger_temp.Label.t | |
11 | } | |
12 | ||
13 | type env = | |
14 | (Tiger_symbol.t, t ) Tiger_map.t | |
15 | ||
16 | val built_in : env |