DrState = object
  kind*: StateKind
  why*: string

StateKind = enum
  DrOkay = "okay", DrRetry = "retry", DrError = "error"

proc doctor(project: var Project; dry = true; strict = true): bool {....raises: [
    Exception, ValueError, IOError, OSError, KeyError, ERecoverableError,
    EOFError, ResultError[system.void], ResultError[errors.git_error_code],
    SyntaxError, StudyError, RegexInternalError, InvalidUnicodeError], tags: [
    RootEffect, ReadDirEffect, ReadEnvEffect, ReadIOEffect, WriteDirEffect,
    WriteIOEffect, WriteEnvEffect, ExecIOEffect, TimeEffect].}

proc fixDependencies(project: var Project; group: var DependencyGroup;
                     state: var DrState): bool {....raises: [ValueError, Exception,
    OSError, ResultError[system.void], ResultError[errors.git_error_code],
    IOError, KeyError, ERecoverableError, EOFError, SyntaxError, StudyError,
    RegexInternalError, InvalidUnicodeError], tags: [ReadEnvEffect,
    ReadDirEffect, RootEffect, ReadIOEffect, WriteIOEffect, WriteEnvEffect,
    WriteDirEffect, ExecIOEffect, TimeEffect].}

proc fixTags(project: var Project; dry_run = true; force = false): bool {....raises: [
    Exception, OSError, ResultError[system.void], ValueError,
    ResultError[errors.git_error_code], IOError, KeyError, ERecoverableError,
    EOFError], tags: [ReadEnvEffect, ReadDirEffect, RootEffect, ReadIOEffect,
                      WriteEnvEffect, ExecIOEffect, WriteIOEffect,
                      WriteDirEffect, TimeEffect].}