Expose option module to the rest of the program

[tiger.ml.git] / compiler / src / lib / tiger / tiger_opt.mli

diff --git a/compiler/src/lib/tiger/tiger_opt.mli b/compiler/src/lib/tiger/tiger_opt.mli
new file mode 100644 (file)
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