package prbnmcn-basic-structures

You can search for identifiers within the package.

in-package search v0.2.0

Module `Lang.Empty`Source

Sourcetype 'a m = 'a

'a m is the type of programs computing a value of type 'a