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 get t ~default =
   9   match t with
  10   | None   -> default
  11   | Some x -> x