Sourceval bind : 'a option -> f:('a -> 'b option) -> 'b option Sourceval map : f:('a -> 'b) -> 'a option -> 'b option Sourceval get : 'a option -> 'a Sourceval value : default:'a -> 'a option -> 'a Sourceval value_map : f:('a -> 'b) -> default:'b -> 'a option -> 'b Sourceval iter : f:('a -> unit) -> 'a option -> unit Sourceval cons : 'a option -> 'a list -> 'a list include module type of struct include Infix end
Sourceval return : 'a -> 'a option Sourceval (>>=) : 'a option -> ('a -> 'b option) -> 'b option Sourceval (>>|) : 'a option -> ('a -> 'b) -> 'b option Sourceval to_list : 'a option -> 'a list Sourceval is_some : 'a option -> bool Sourceval plus : 'a option -> 'a option -> 'a option Sourceval print : (unit -> 'a -> string) -> unit -> 'a option -> string