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=662ca4a12c9ce04ae53d775f1f7cda5a5b589af0;hp=719e85474cc5a62d998e8ac965292f465d25b3b1;hb=eb9263c83a812a5872e4305bdd87f8a2ffe2dfc3;hpb=753f38382d7a2952c23521fd6c75093c8bd63199 diff --git a/compiler/src/lib/tiger/tiger_opt.mli b/compiler/src/lib/tiger/tiger_opt.mli index 719e854..662ca4a 100644 --- a/compiler/src/lib/tiger/tiger_opt.mli +++ b/compiler/src/lib/tiger/tiger_opt.mli @@ -2,4 +2,6 @@ type 'a t = 'a option val map : 'a t -> ('a -> 'b) -> 'b t +val iter : 'a t -> f:('a -> unit) -> unit + val get : 'a t -> default:'a -> 'a