write-flush ( str -- )

Vocabulary

stream.extras

Inputs

str

an object

Outputs

None

Definition

USING: io namespaces ;

IN: stream.extras

: write-flush ( str -- )
    output-stream get stream-write-flush ; inline