X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;ds=sidebyside;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_env.mli;h=46ddba2c188e25b6bbbe252116430775e4436367;hb=528693fddf524eab49efab2ba6f8df19d95badf0;hp=91747e58bbb36d95c128793bf5a2b02a10c326ab;hpb=c0bdf964d389a2b9465fad44aa1f1f849c72140f;p=tiger.ml.git

diff --git a/compiler/src/lib/tiger/tiger_env.mli b/compiler/src/lib/tiger/tiger_env.mli
index 91747e5..46ddba2 100644
--- a/compiler/src/lib/tiger/tiger_env.mli
+++ b/compiler/src/lib/tiger/tiger_env.mli
@@ -7,3 +7,10 @@ val get_val : t -> Tiger_symbol.t -> Tiger_env_value.t option
 
 val set_typ : t -> Tiger_symbol.t -> Tiger_env_type.t -> t
 val set_val : t -> Tiger_symbol.t -> Tiger_env_value.t -> t
+
+val loop_begin   : t -> (Tiger_symbol.t * t)
+val loop_end     : t ->  Tiger_symbol.t -> t
+val loop_current : t ->  Tiger_symbol.t option
+
+val level_set : t -> Tiger_translate.Level.t -> t
+val level_get : t -> Tiger_translate.Level.t