5 (** "outermost" in Applel's code *)
7 val next : t -> name:Tiger_temp.Label.t -> formals:bool list -> t
8 (** "newLevel" in Appel's code *)
12 (Tiger_temp.Label.t * Tiger_temp.Label.t) -> Tiger_tree.stm
18 val alloc_local : level:Level.t -> escapes:bool -> access
20 val formals : level:Level.t -> access list
22 val unEx : exp -> Tiger_tree.exp
23 val unNx : exp -> Tiger_tree.stm
24 val unCx : exp -> gen_stm
26 val dummy__FIXME : exp (* FIXME: Remove dummy when real is ready *)