write-dest-file ( xml name ext -- )

Vocabulary

codebook

Inputs

xml	an object
name	an object
ext	an object

Outputs

None

Definition

USING: io.encodings.utf8 io.files sequences xml.writer ;

IN: codebook

: write-dest-file ( xml name ext -- )
    append utf8 [ write-xml ] with-file-writer ;