package prbnmcn-basic-structures

You can search for identifiers within the package.

in-package search v0.2.0

Module `Lang.Sequencing`Source

Sourcetype 'a m = 'a

Sourceval seq : unit m -> (unit -> 'a m) -> 'a m

Non-binding sequencing construct.

Sourceval (let*) : 'a m -> ('a m -> 'b m) -> 'b m

Binding sequencing construct.

Sourceval unit : unit m