The CBS library provides funcons for expressing and computing various kinds of values:
(Further kinds of values are provided in connection with particular kinds of computations.)
Funcons can take sequences of values as arguments, and compute sequences of values as results. The only sequences that are themselves values are trivial sequences of length one.
The absence of a computed value is represented by the empty sequence
Funcons that may compute
( ) have result types of the form
generally need to be preceded by
checked when used as arguments of other