Vocabulary
sequences

Inputs
seqa resizable mutable sequence


Outputs
None

Word description
Removes the last element and shortens the sequence.

Side effects
Modifies seq

Errors
Throws an error if the sequence is empty.

See also
push, push-either, push-if, pop, prefix, suffix, suffix!

Definition