Type Alias DropStep<Tuple, StepTuple>

DropStep: Tuple extends [...StepTuple, ...(infer Rest extends UnknownArray)]
? Rest
: []

Removes StepTuple['length'] elements from the front of Tuple, or empties it when it is too short.