Member predicate TupleType::hasRestElement
Holds if this tuple type has a rest element, such as [number, ...string[]]
or [...number[], string]
.
predicate hasRestElement()
Holds if this tuple type has a rest element, such as [number, ...string[]]
or [...number[], string]
.
predicate hasRestElement()