proc new(T: typedesc[Noise]; rng: ref HmacDrbgContext; privateKey: PrivateKey;
         outgoing: bool = true; commonPrologue: seq[byte] = @[]): T:type {.
    ...raises: [].}

func shortLog(conn: NoiseConnection): auto {....raises: [], tags: [], forbids: [].}

method closeImpl(s: NoiseConnection): InternalRaisesFuture[void, void] {.
    ...stackTrace: false, raises: [], gcsafe, raises: [], tags: [RootEffect],
    forbids: [].}

method handshake(p: Noise; conn: Connection; initiator: bool;
                 peerId: Opt[PeerId]): InternalRaisesFuture[SecureConn,
    (CancelledError, LPStreamError)] {....stackTrace: false, raises: [], gcsafe,
                                       raises: [], tags: [RootEffect],
                                       forbids: [].}

method init(p: Noise) {....gcsafe, raises: [], tags: [], forbids: [].}

method readMessage(sconn: NoiseConnection): InternalRaisesFuture[seq[byte],
    (CancelledError, LPStreamError)] {....stackTrace: false, raises: [], gcsafe,
                                       raises: [], tags: [RootEffect],
                                       forbids: [].}

method write(sconn: NoiseConnection; message: seq[byte]): InternalRaisesFuture[
    void, (CancelledError, LPStreamError)] {....stackTrace: false, raises: [],
    gcsafe, raises: [], tags: [WriteIOEffect], forbids: [].}

template formatItIMPL(it: NoiseConnection): auto {..}