func `/`(p: string; self: Path): Path {....raises: [], tags: [], forbids: [].}

func `/`(self: Path; p: string): Path {....raises: [], tags: [], forbids: [].}

func `/=`(head: var Path; tail: string): Path {....raises: [], tags: [],
    forbids: [].}

proc absolute(self: Path): Path {....raises: [ValueError, OSError], tags: [],
                                  forbids: [].}

func as_posix(self: Path): Path {....raises: [], tags: [], forbids: [].}

proc cwd(_: typedesc[Path]): Path

proc home(_: typedesc[Path]): Path

proc is_absolute(self: Path): bool {....raises: [], tags: [], forbids: [].}

proc is_dir(self: Path): bool {....raises: [], tags: [ReadDirEffect], forbids: [].}

proc is_file(self: Path): bool {....raises: [], tags: [ReadDirEffect], forbids: [].}

proc is_relative_to(self: Path; other: Path): bool {....raises: [Exception],
    tags: [RootEffect], forbids: [].}

proc is_relative_to(self: Path; other: string): bool {....raises: [Exception],
    tags: [RootEffect], forbids: [].}

proc is_symlink(self: Path): bool {....raises: [], tags: [ReadDirEffect],
                                    forbids: [].}

proc iterdir(self: Path): IterDirGenerator {....raises: [], tags: [], forbids: [].}

func joinpath[P: string](self: Path; pathsegments: varargs[P]): Path

proc mkdirParentsExistsOk(self: Path) {....raises: [OSError, IOError],
                                        tags: [WriteDirEffect, ReadDirEffect],
                                        forbids: [].}

proc open(self: Path; mode: FileMode): File {....raises: [IOError], tags: [],
    forbids: [].}

proc read_nstring(self: Path): string {....raises: [IOError], tags: [ReadIOEffect],
                                        forbids: [].}

func relative_to(self: Path; other: string | Path): Path

func samefile(self: Path; other_path: string | Path): bool

proc write_nstring(self, s: string) {....raises: [IOError], tags: [WriteIOEffect],
                                      forbids: [].}

iterator iterdir(self: Path): Path {....raises: [OSError], tags: [ReadDirEffect],
                                     forbids: [].}