val map : f:('a -> 'b) -> 'c option -> 'd optionval to_list : 'a option -> 'b listval bind : f:('a -> 'b option) -> 'c option -> 'b optionval iter : f:('a -> unit) -> 'b option -> unitval filter : f:('a -> bool) -> 'b option -> 'c optionval compare : ('a -> 'b -> int) -> 'c option -> 'd option -> intval equal : ('a -> 'b -> bool) -> 'c option -> 'd option -> boolval is_none : 'a option -> boolval is_some : 'a option -> boolval value : default:'a -> 'b option -> 'c