Sourceval map : f:('a -> 'b) -> 'a option -> 'b option Sourceval to_list : 'a option -> 'a list Sourceval bind : f:('a -> 'b option) -> 'a option -> 'b option Sourceval iter : f:('a -> unit) -> 'a option -> unit Sourceval filter : f:('a -> bool) -> 'a option -> 'a option Sourceval compare : ('a -> 'b -> int) -> 'a option -> 'b option -> int Sourceval equal : ('a -> 'b -> bool) -> 'a option -> 'b option -> bool Sourceval is_none : 'a option -> bool Sourceval is_some : 'a option -> bool Sourceval value : default:'a -> 'a option -> 'a