Fail successful execution when expected error is defined
[tiger.ml.git] / compiler / src / lib / tiger / tiger_opt.ml
CommitLineData
d1fe69d3
SK
1type 'a t = 'a option
2
3let map t f =
4 match t with
5 | None -> None
6 | Some x -> Some (f x)
7
8let get t ~default =
9 match t with
10 | None -> default
11 | Some x -> x
This page took 0.034029 seconds and 4 git commands to generate.