proc handleEmailGet(store: MaildirStore; user: string; state: string;
                    args: JsonNode; callId: string): seq[JsonNode] {.
    ...raises: [KeyError, OSError, Exception], tags: [ReadDirEffect,
    WriteDirEffect, TimeEffect, WriteIOEffect, ReadIOEffect, RootEffect],
    forbids: [].}

proc handleEmailQuery(store: MaildirStore; user: string; state: string;
                      args: JsonNode; callId: string): seq[JsonNode] {.
    ...raises: [OSError, Exception, KeyError], tags: [ReadDirEffect,
    WriteDirEffect, TimeEffect, WriteIOEffect, ReadIOEffect, RootEffect],
    forbids: [].}

proc handleEmailSet(store: MaildirStore; user: string; state: string;
                    args: JsonNode; callId: string): seq[JsonNode] {.
    ...raises: [KeyError, OSError, Exception], tags: [ReadDirEffect,
    WriteDirEffect, TimeEffect, WriteIOEffect, ReadIOEffect, RootEffect],
    forbids: [].}