Option
val iter : ('a -> unit t) -> 'a option -> unit t
val map : ('a -> 'b t) -> 'a option -> 'b option t
Frama-C