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