filter-all-subseqs ( ... seq quot: ( ... subseq -- ... ? ) -- seq )


Vocabulary
sequences.extras

Inputs
seqa sequence
quota quotation


Outputs
seqa sequence


Word description
Perform a filter on all the subsequences of the given sequence, and push a sequence containing the subsequences that satisfy the condition given by quot.

Definition