let or_else (o: 'a option) (d: 'a) =
  match o with
  | None -> d
  | Some x -> x