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 overstructure, return the product of the entries.