lambdapi.lplib
Option.Applicative
lambdapi.common
lambdapi.core
lambdapi.export
lambdapi.handle
lambdapi.lsp
lambdapi.parsing
lambdapi.pure
lambdapi.tool
val pure : 'a -> 'a option
val (<*>) : ('a -> 'b) option -> 'a option -> 'b option