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