home
/
code
/
tiger.ml.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
96d07ad927447e7f873da044a9f95b7a649082e5
[tiger.ml.git]
/
tiger_env_value.mli
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
This page took
0.0614 seconds
and
3
git commands to generate.