package prbnmcn-basic-structures

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Lang.LambdaSource

Sourcetype 'a m = 'a
Sourceval lam : ('a m -> 'b m) -> ('a -> 'b) m

Lambda-abstraction.

Sourceval app : ('a -> 'b) m -> 'a m -> 'b m

Function application.

OCaml

Innovation. Community. Security.