[_____]

Other Operations

IsEmpty(T) : Tup -> BoolElt
Returns whether the tuple has no components.
&* T : Tup -> Any
For a tuple T where each component lies in a structure that supports multiplication and such that there exists a common over structure, return the product of the entries.
[Next][Prev] [_____] [Left] [Up] [Index] [Root]

Version: V2.29 of Fri Nov 28 15:14:01 AEDT 2025