Procs

proc getInt(prompt: string; valRange: (int, int) = (0, 100);
            defaultTo: Option[int] = some(0)): int {.
    ...raises: [ValueError, IOError, EOFError], tags: [WriteIOEffect, ReadIOEffect].}

  Source   Edit

proc promptYN(prompt: string; default: string = "Y"): bool {.
    ...raises: [IOError, EOFError], tags: [WriteIOEffect, ReadIOEffect].}

  Source   Edit