push-all-comment-token ( string document -- )

Vocabulary

html5

Inputs

string	an object
document	an object

Outputs

None

Definition

USING: accessors sequences ;

IN: html5

: push-all-comment-token ( string document -- )
    comment-token>> push-all ;