class
	KL_SHARED_PLATFORM

General
	cluster: kernel
	description: "Shared platform-dependent properties"

Ancestors
	KL_ANY

Queries
	Platform: KL_PLATFORM

Generated by ISE EiffelStudio