X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_env.mli;fp=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_env.mli;h=91747e58bbb36d95c128793bf5a2b02a10c326ab;hb=c0bdf964d389a2b9465fad44aa1f1f849c72140f;hp=0000000000000000000000000000000000000000;hpb=b762cacb0f9df0b034bb75e67c4b64151e338e92;p=tiger.ml.git

diff --git a/compiler/src/lib/tiger/tiger_env.mli b/compiler/src/lib/tiger/tiger_env.mli
new file mode 100644
index 0000000..91747e5
--- /dev/null
+++ b/compiler/src/lib/tiger/tiger_env.mli
@@ -0,0 +1,9 @@
+type t
+
+val base : t
+
+val get_typ : t -> Tiger_symbol.t -> Tiger_env_type.t option
+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