singleton
singleton x
-- returns a sequence of length one whose single element is
x
.
i1 : singleton 3
o1 = singleton 3
o1 : Sequence
i2 : #oo
o2 = 1
See also
Sequence
.
