print-flush ( str -- )

Vocabulary

stream.extras

Inputs

str

an object

Outputs

None

Definition

USING: io namespaces ;

IN: stream.extras

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