val return : 'a ‑> 'a Base__Option.tval bind : 'a Base__Option.t ‑> f:('a ‑> 'b Base__Option.t) ‑> 'b Base__Option.tval map : 'a Base__Option.t ‑> f:('a ‑> 'b) ‑> 'b Base__Option.tval both : 'a Base__Option.t ‑> 'b Base__Option.t ‑> ('a * 'b) Base__Option.tmodule Open_on_rhs : sig ... end