option.mli 220 Bytes
Newer Older
1 2 3
val map: ('a -> 'b) -> 'a option -> 'b option
val iter: ('a -> unit) -> 'a option -> unit
val fold: ('a -> 'b -> 'b) -> 'a option -> 'b -> 'b
4
val project: 'a option -> 'a (* careful: calls [exit 1] in case of failure *)