singleton -- make a sequence of length one

singleton -- make a sequence of length one

Synopsis:

Usage: y = singleton x

Input:

x

Output:

y: a sequence of length one whose single element is x.

i1 : singleton 3



o1 = singleton 3



o1 : Sequence

i2 : #oo



o2 = 1

See also:

unSingleton

Class of returned value: Sequence -- the class of all sequences -- (...)