# 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.