package prbnmcn-basic-structures
Legend:
Library
Module
Module type
Parameter
Class
Class type
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.