compiler/src/lib/tiger/tiger_opt.ml

   1 type 'a t = 'a option
   2
   3 let map t f =
   4   match t with
   5   | None   -> None
   6   | Some x -> Some (f x)
   7
   8 let iter t ~f =
   9   ignore (map t f)
  10
  11 let get t ~default =
  12   match t with
  13   | None   -> default
  14   | Some x -> x