src/utilities/option.mli

   1
   2 (** This module provides some functions to manipulate values of type
   3     [option]. *)
   4
   5 (* Pasted from Pottier's PP compiler *)
   6
   7 open PrintPottier
   8
   9 val map: ('a -> 'b) -> 'a option -> 'b option
  10 val iter: ('a -> unit) -> 'a option -> unit
  11 val fold: ('a -> 'b -> 'b) -> 'a option -> 'b -> 'b
  12 val print: 'a printer -> 'a option printer