val iter : ('a -> unit) -> 'b option -> unit