proc `$`(x: AnyPath): string

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

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

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

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

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

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

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

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

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

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

proc customPath(x: string): string {....raises: [OSError], tags: [], forbids: [].}

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

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

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

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

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

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

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

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

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

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

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

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