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