Frama-C API - Operators
val (>>-) : 'a option -> ('a -> 'b option) -> 'b optionval let* : 'a option -> ('a -> 'b option) -> 'b optionval and* : 'a option -> 'b option -> ('a * 'b) optionval (>>-:) : 'a option -> ('a -> 'b) -> 'b optionval let+ : 'a option -> ('a -> 'b) -> 'b optionval and+ : 'a option -> 'b option -> ('a * 'b) option 
Frama-C