AbsoluteFile = distinct string

AbsoluteDir = distinct string

RelativeFile = distinct string

RelativeDir = distinct string

AnyPath = AbsoluteFile | AbsoluteDir | RelativeFile | RelativeDir

proc isEmpty(x: AnyPath): bool {...}{.inline.}

proc copyFile(source, dest: AbsoluteFile) {...}{.raises: [OSError],
    tags: [ReadIOEffect, WriteIOEffect].}

proc removeFile(x: AbsoluteFile) {...}{.borrow.}

proc splitFile(x: AbsoluteFile): tuple[dir: AbsoluteDir, name, ext: string] {...}{.
    raises: [], tags: [].}

proc extractFilename(x: AbsoluteFile): string {...}{.borrow.}

proc fileExists(x: AbsoluteFile): bool {...}{.borrow.}

proc dirExists(x: AbsoluteDir): bool {...}{.borrow.}

proc quoteShell(x: AbsoluteFile): string {...}{.borrow.}

proc quoteShell(x: AbsoluteDir): string {...}{.borrow.}

proc cmpPaths(x, y: AbsoluteDir): int {...}{.borrow.}

proc createDir(x: AbsoluteDir) {...}{.borrow.}

proc toAbsoluteDir(path: string): AbsoluteDir {...}{.raises: [OSError], tags: [].}

proc `$`(x: AnyPath): string

proc `==`[T: AnyPath](x, y: T): bool

proc `/`(base: AbsoluteDir; f: RelativeFile): AbsoluteFile {...}{.raises: [OSError],
    tags: [].}

proc `/`(base: AbsoluteDir; f: RelativeDir): AbsoluteDir {...}{.raises: [OSError],
    tags: [].}

proc relativeTo(fullPath: AbsoluteFile; baseFilename: AbsoluteDir; sep = DirSep): RelativeFile {...}{.
    raises: [Exception], tags: [RootEffect].}

proc toAbsolute(file: string; base: AbsoluteDir): AbsoluteFile {...}{.
    raises: [OSError], tags: [].}

proc changeFileExt(x: AbsoluteFile; ext: string): AbsoluteFile {...}{.borrow.}

proc changeFileExt(x: RelativeFile; ext: string): RelativeFile {...}{.borrow.}

proc addFileExt(x: AbsoluteFile; ext: string): AbsoluteFile {...}{.borrow.}

proc addFileExt(x: RelativeFile; ext: string): RelativeFile {...}{.borrow.}

proc writeFile(x: AbsoluteFile; content: string) {...}{.borrow.}