Searched refs:DatFile (Results 1 – 2 of 2) sorted by relevance
27 export interface DatFile<T extends TreeAdapterTypeMap> { interface37 …DatFile<T extends TreeAdapterTypeMap>(testSet: string, treeAdapter: TreeAdapter<T>): DatFile<T>[] {67 } as DatFile<T>;
7 import { parseDatFile, type DatFile } from './parse-dat-file.js'; alias9 export interface TreeConstructionTestData<T extends TreeAdapterTypeMap> extends DatFile<T> {