filter-length ( seq n -- seq' )


Vocabulary
sequences.extras

Inputs
seqa sequence
nan integer


Outputs
seq'a sequence


Word description
Push a sequence that contains all elements of seq that have length n.

Definition