package prbnmcn-basic-structures

  1. Overview
  2. Docs

Abstraction for abstraction :)

type 'a m
val lam : ('a m -> 'b m) -> ('a -> 'b) m

Lambda-abstraction.

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

Function application.