Stdppx.Option
val is_some : 'a option -> bool
val iter : 'a option -> f:( 'a -> unit ) -> unit
val map : 'a option -> f:( 'a -> 'b ) -> 'b option
val value : 'a option -> default:'a -> 'a