Vocabulary
math.combinatorics

Inputs
seqan object
kan object
quota quotation with stack effect ( ... elt -- ... newelt )


Outputs
newseqan object


Definition