class interface KL_SHARED_EXECUTION_ENVIRONMENT

feature(s) from KL_SHARED_EXECUTION_ENVIRONMENT
   --  Access

   Execution_environment: KL_EXECUTION_ENVIRONMENT
      --  Execution environment

      ensure
         execution_environment_not_void: Result /= Void


end of KL_SHARED_EXECUTION_ENVIRONMENT