Source file `Option.ml`

1
2
3
4
5
6
7
8
9
10
11
12
let none = None
let some x = Some x

let map f x =
  match x with
  | Some x' -> Some (f x')
  | _ -> None

let map2 f x y =
  match x, y with
  | Some x', Some y' -> Some (f x' y')
  | _, _ -> None