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