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