package prbnmcn-basic-structures

You can search for identifiers within the package.

in-package search v0.2.0

Module `Lang.Bool`Source

Sourcetype 'a m = 'a

Sourceval true_ : bool m

Sourceval false_ : bool m

Sourceval (||) : bool m -> bool m -> bool m

Sourceval (&&) : bool m -> bool m -> bool m

Sourceval dispatch : bool m -> (bool -> 'a m) -> 'a m

dispatch cond branches constructs an if-then-else branching expression.