X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_opt.mli;fp=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_opt.mli;h=719e85474cc5a62d998e8ac965292f465d25b3b1;hp=0000000000000000000000000000000000000000;hb=d1fe69d31f39d5481d739e592863e1126cfe0c35;hpb=3206cc891aacf41c6bc6c00ecb2b85b3a0a2b72a

diff --git a/compiler/src/lib/tiger/tiger_opt.mli b/compiler/src/lib/tiger/tiger_opt.mli
new file mode 100644
index 0000000..719e854
--- /dev/null
+++ b/compiler/src/lib/tiger/tiger_opt.mli
@@ -0,0 +1,5 @@
+type 'a t = 'a option
+
+val map : 'a t -> ('a -> 'b) -> 'b t
+
+val get : 'a t -> default:'a -> 'a