push-tag-name ( ch document -- )

Vocabulary

html5

Inputs

ch	an object
document	an object

Outputs

None

Definition

USING: accessors kernel sequences ;

IN: html5

: push-tag-name ( ch document -- )
    [ tag>> name>> push ] [ 2drop ] 2bi ;