KernelsState: IKernelsState & {
    getExecutionPhase: ((id) => ExecutionPhase | undefined);
    getExecutionState: ((id) => ExecutionState | undefined);
    setExecutionPhase: ((id, executionState) => void);
    setExecutionState: ((id, executionState) => void);
}

Type declaration