proc addSeen(f: FloodSub; saltedId: SaltedId): bool {....raises: [], tags: [],
    forbids: [].}

proc firstSeen(f: FloodSub; saltedId: SaltedId): Moment {....raises: [], tags: [],
    forbids: [].}

proc hasSeen(f: FloodSub; saltedId: SaltedId): bool {....raises: [], tags: [],
    forbids: [].}

proc salt(f: FloodSub; msgId: MessageId): SaltedId {....raises: [], tags: [],
    forbids: [].}

method init(f: FloodSub) {....raises: [], tags: [], forbids: [].}

method initPubSub(f: FloodSub) {....raises: [InitializationError], raises: [],
                                 tags: [RootEffect], forbids: [].}

method publish(f: FloodSub; topic: string; data: seq[byte];
               publishParams: Option[PublishParams] = none(PublishParams)): InternalRaisesFuture[
    int, void] {....stackTrace: false, raises: [], gcsafe, raises: [],
                 tags: [RootEffect], forbids: [].}

method rpcHandler(f: FloodSub; peer: PubSubPeer; data: sink seq[byte]): InternalRaisesFuture[
    void, (CancelledError, PeerMessageDecodeError, PeerRateLimitError)] {.
    ...stackTrace: false, raises: [], gcsafe, raises: [], tags: [RootEffect],
    forbids: [].}

method unsubscribePeer(f: FloodSub; peer: PeerId) {....raises: [],
    tags: [WriteIOEffect], forbids: [].}