push-when ( obj/f seq -- ) (original) (raw)
Vocabulary
html5
Inputs
obj/f | an object |
---|---|
seq | an object |
Outputs
None
Definition
: push-when ( obj/f seq -- ) over [ push ] [ 2drop ] if ; inline
Vocabulary
html5
Inputs
obj/f | an object |
---|---|
seq | an object |
Outputs
None
Definition
: push-when ( obj/f seq -- ) over [ push ] [ 2drop ] if ; inline