take-public-id ( -- public-id )

Vocabulary

xml.name

Inputs

None

Outputs

public-id

an object

Definition

USING: xml.data xml.tokenize ;

IN: xml.name

: take-public-id ( -- public-id )
    parse-quote parse-quote <public-id> ;