Procs

proc abspath(s: string): string {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc basename(s: string): string {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc commonprefix(s: seq[string]): string {. ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc dirname(s: string): string {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc exists(s: string): bool {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc expanduser(s: string): string {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc expandvars(s: string): string {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc getatime(s: string): float {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc getctime(s: string): float {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc getmtime(s: string): float {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc getsize(s: string): int {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc isabs(s: string): bool {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc isdir(s: string): bool {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc isfile(s: string): bool {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc islink(s: string): bool {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc ismount(s: string): bool {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc join(a, b: string): string {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc lexists(s: string): bool {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc normcase(s: string): string {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc normpath(s: string): string {....raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc relpath(path, start: string): string {. ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc samefile(path1, path2: string): bool {. ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc split(s: string): tuple[head, tail: string] {. ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}

proc splitdrive(s: string): tuple[drive, path: string] {. ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError], tags: [RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect].}