aboutsummaryrefslogtreecommitdiff
path: root/src/Lib/Option.ml
blob: 1158b96672e7941840cbfbd36df5254956827d6b (plain)
1
2
3
4
5
6
7
8
9
let withDefault default opt =
  match opt with
  | Some v -> v
  | None -> default

let map f opt =
  match opt with
  | Some v -> Some (f v)
  | None -> None