deferred class KI_TEXT_OUTPUT_STREAM Ancestors KI_CHARACTER_OUTPUT_STREAM* Descendants UC_STRING Clients KI_TEXT_OUTPUT_STREAM* Suppliers INTEGER_32 KI_TEXT_OUTPUT_STREAM* STRING_8
Generated by ISE EiffelStudio