deferred class KI_PLATFORM Ancestors ANY Descendants KL_PLATFORM Clients KI_PLATFORM* Suppliers INTEGER_32 INTEGER_64 KI_PLATFORM* REAL_64
Generated by ISE EiffelStudio