package lambdapi

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