push-index-if ( ..a elt i quot: ( ..a elt -- ..b ? ) accum -- ..b )


Vocabulary
sequences.extras.private

Inputs
eltan object
ian object
quota quotation with stack effect ( ..a elt -- ..b ? )
accuman object


Outputs
None

Definition


: push-index-if
( ..a elt i quot: ( ..a elt -- ..b ? ) accum -- ..b )
[ dip ] dip rot [ push ] [ 2drop ] if ; inline