/** * Reads all the given locations into files. * * Returns a result which is either an array of all the files, or an error * combining all the errors encountered when reading the location list. */ import { Result, File, ExtraInfo } from "@dodona/dolos-core"; export declare function readFiles(locations: Array): Promise>>; /** * Read the given location into a file. * * Returns a result with the File if it succeeded, or an Error otherwise. */ export declare function readPath(location: string, extra?: ExtraInfo): Promise>; //# sourceMappingURL=reader.d.ts.map