X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_env.mli;fp=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_env.mli;h=46ddba2c188e25b6bbbe252116430775e4436367;hp=3338949f57e6ffa1e8c3f769a18083e223019fbd;hb=cc540a7e2dfcee4411953075210a64de874b91e5;hpb=21d0f0503ea169988685a4f39d0e32b2b097dae6

diff --git a/compiler/src/lib/tiger/tiger_env.mli b/compiler/src/lib/tiger/tiger_env.mli
index 3338949..46ddba2 100644
--- a/compiler/src/lib/tiger/tiger_env.mli
+++ b/compiler/src/lib/tiger/tiger_env.mli
@@ -11,3 +11,6 @@ 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