LibOption.ml

(** val option_compare :
    ('a1 -> 'a1 -> bool) -> 'a1 option -> 'a1 option -> bool **)

let option_compare h o1 o2 =
  match o1 with
  | Some v1 ->
    (match o2 with
     | Some v2 -> h v1 v2
     | None -> false)
  | None ->
    (match o2 with
     | Some a -> false
     | None -> true)

(** val unsome_default : 'a1 -> 'a1 option -> 'a1 **)

let unsome_default d o = match o with
| Some x -> x
| None -> d

(** val map : ('a1 -> 'a2) -> 'a1 option -> 'a2 option **)

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