AbsoluteDir = distinct string

AbsoluteFile = distinct string

AnyPath = AbsoluteFile | AbsoluteDir | RelativeFile | RelativeDir

RelativeDir = distinct string

RelativeFile = distinct string

proc `$`(x: AnyPath): string

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

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

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

proc addFileExt(x: AbsoluteFile; ext: string): AbsoluteFile {.borrow,
    ...raises: [], tags: [].}

proc addFileExt(x: RelativeFile; ext: string): RelativeFile {.borrow,
    ...raises: [], tags: [].}

proc changeFileExt(x: AbsoluteFile; ext: string): AbsoluteFile {.borrow,
    ...raises: [], tags: [].}

proc changeFileExt(x: RelativeFile; ext: string): RelativeFile {.borrow,
    ...raises: [], tags: [].}

proc cmpPaths(x, y: AbsoluteDir): int {.borrow, ...raises: [], tags: [].}

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

proc createDir(x: AbsoluteDir) {.borrow, ...raises: [OSError, IOError],
                                 tags: [WriteDirEffect, ReadDirEffect].}

proc dirExists(x: AbsoluteDir): bool {.borrow, ...raises: [], tags: [ReadDirEffect].}

proc extractFilename(x: AbsoluteFile): string {.borrow, ...raises: [], tags: [].}

proc fileExists(x: AbsoluteFile): bool {.borrow, ...raises: [],
    tags: [ReadDirEffect].}

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

proc quoteShell(x: AbsoluteDir): string {.borrow, ...raises: [], tags: [].}

proc quoteShell(x: AbsoluteFile): string {.borrow, ...raises: [], tags: [].}

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

proc removeFile(x: AbsoluteFile) {.borrow, ...raises: [OSError],
                                   tags: [WriteDirEffect].}

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

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

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

proc writeFile(x: AbsoluteFile; content: string) {.borrow, ...raises: [IOError],
    tags: [WriteIOEffect].}