package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

Module `Option.Monad`Source

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