push-when ( obj/f seq -- )


Vocabulary
html5

Inputs
obj/fan object
seqan object


Outputs
None

Definition
USING: kernel sequences ;

IN: html5

: push-when ( obj/f seq -- ) over [ push ] [ 2drop ] if ; inline