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