deferred class
	KI_OUTPUT_STREAM [G]

General
	cluster: kernel
	description: "Interface for output streams"

Ancestors
	ANY

Queries
	is_closable: BOOLEAN
	is_open_write: BOOLEAN
	name: STRING_8

Commands
	append (an_input_stream: KI_INPUT_STREAM [G])
	close
	put (v: G)

Generated by ISE EiffelStudio