Module Option.MonadSource

Sourceval (let*) : 'a option -> ('a -> 'b option) -> 'b option

Monadic let* allows to replace

 Option.bind e (fun x => ...)

or

  match e with
  | None -> None
  | Some x -> ...

with

  let* x = e in
  ...
Sourceval return : 'a -> 'a option