Code Editor : no-work-result.d.ts