Commit | Line | Data |
---|---|---|
1 | module type S = sig | |
2 | type t | |
3 | ||
4 | type access | |
5 | ||
6 | val word_size : int | |
7 | ||
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 |