2 (** This module provides some functions to manipulate values of type
5 (* Pasted from Pottier's PP compiler *)
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