flush_output/1

Description

flush_output/1 is a predicate that flushes the output of a stream.

Signature

flush_output(+Stream)

Where:

• Stream is the stream to flush.