Commit | Line | Data |
---|---|---|
cc540a7e SK |
1 | module type S = sig |
2 | type t | |
3 | ||
4 | type access | |
5 | ||
6 | val make : | |
7 | name:Tiger_temp.Label.t -> formals:bool list -> t | |
8 | ||
9 | val name : | |
10 | t -> Tiger_temp.Label.t | |
11 | ||
12 | val formals : | |
13 | t -> access list | |
14 | ||
15 | val alloc_local : | |
16 | t -> escapes:bool -> access | |
17 | end |