val let+ : 'a option -> ('a -> 'b) -> 'b optionval and+ : 'a option -> 'b option -> ('c * 'd) optionval let* : 'a option -> ('a -> 'b option) -> 'b optionval and* : 'a option -> 'b option -> ('a * 'b) optionval (>>=) : 'a option -> ('a -> 'b option) -> 'b option