(product-find) ( ... ns sequences k quot: ( ... seq -- ... ? ) -- ... ? )


Vocabulary
sequences.product.private

Inputs
nsan object
sequencesan object
kan object
quota quotation with stack effect ( ... seq -- ... ? )


Outputs
?an object


Definition


:: (product-find)
( ... ns sequences k quot: ( ... seq -- ... ? ) -- ... ? )
k sequences length 1 - = :> done? k sequences nth-unsafe [
k ns set-nth-unsafe ns done? quot
[ sequences k 1 + quot (product-find) ] if
] find drop ; inline recursive