Vocabulary
ui.gadgets

Inputs
seqa sequence of pairs of integers


Outputs
dima pair of integers


Word description
Sums a sequence of dimensions.

See also
pref-dims, max-dims

Definition