package prbnmcn-basic-structures

  1. Overview
  2. Docs
type 'a m = 'a
val lam : ('a m -> 'b m) -> ('a -> 'b) m

Lambda-abstraction.

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

Function application.

OCaml

Innovation. Community. Security.