class interface KL_SHARED_PLATFORM feature(s) from KL_SHARED_PLATFORM -- Access Platform: KL_PLATFORM -- Platform-dependent properties ensure platform_not_void: Result /= Void end of KL_SHARED_PLATFORM