package lambdapi

  1. Overview
  2. Docs
val let* : 'a option -> ('a -> 'b option) -> 'b option

Monadic let* allows to replace

match e1 with
| Some e2 -> Some (f e2)
| None -> None

with

let* x = e1 in
f x
val return : 'a -> 'b option