Sourceval map : ('a -> 'b) -> 'a option -> 'b option Sourceval may : ('a -> unit) -> 'a option -> unit Sourceval is_none : 'a option -> bool Sourceval is_some : 'a option -> bool Sourceval bind : ('a -> 'b option) -> 'a option -> 'b option include module type of struct include Infix end
Sourceval (>>=) : 'a option -> ('a -> 'b option) -> 'b option Sourceval (>>|) : 'a option -> ('a -> 'b) -> 'b option