proc docsGenCommand(v: Values) {....raises: [KeyError, IOError, ValueError,
    OSError, StoreError, FileLockError, FileLockBusyError, WalError, Exception,
    SignalError, ResourceExhaustedError, CatchableError, StorageError,
    JsonParsingError], tags: [WriteIOEffect, WriteDirEffect, ReadDirEffect,
                              TimeEffect, ReadIOEffect, RootEffect,
                              ReadEnvEffect, ExecIOEffect], forbids: [].}

proc docsOpenCommand(v: Values) {....raises: [KeyError, IOError, ValueError,
    OSError, StoreError, FileLockError, FileLockBusyError, WalError, Exception,
    SignalError, ResourceExhaustedError, CatchableError, SslError, LibraryError], tags: [
    WriteIOEffect, WriteDirEffect, ReadDirEffect, TimeEffect, ReadIOEffect,
    RootEffect, ExecIOEffect], forbids: [].}