prbnmcn-basic-structures

Base package for prbnmcn-* packages
Library prbnmcn-basic-structures
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.