type alias EmptyDiscoveryDiagnosis The result of diagnoseEmptyDiscovery. Definition { ok: true; specifier: string; dependsOnBinstruct: boolean; } | ToolFailure