proc closeWait(rs: SecureRestServerRef): InternalRaisesFuture[void, void] {.
    ...stackTrace: false, raises: [], gcsafe, raises: [], tags: [RootEffect],
    forbids: [].}

proc drop(rs: SecureRestServerRef): InternalRaisesFuture[void, void] {.
    ...stackTrace: false, raises: [], gcsafe, raises: [], tags: [RootEffect],
    forbids: [].}

proc join(rs: SecureRestServerRef): InternalRaisesFuture[void, (CancelledError,)] {.
    ...stackTrace: false, raises: [], gcsafe, raises: [], tags: [], forbids: [].}

proc localAddress(rs: SecureRestServerRef): TransportAddress {....raises: [],
    tags: [], forbids: [].}

proc new(t: typedesc[SecureRestServerRef]; router: RestRouter;
         address: TransportAddress; tlsPrivateKey: TLSPrivateKey;
         tlsCertificate: TLSCertificate; serverIdent: string = PrestoIdent;
         secureFlags: set[TLSFlags] = {}; serverFlags = {NotifyDisconnect};
         socketFlags: set[ServerFlags] = {ReuseAddr}; serverUri = Uri();
         maxConnections: int = -1; backlogSize: int = DefaultBacklogSize;
         bufferSize: int = 4096; httpHeadersTimeout = 10.seconds;
         maxHeadersSize: int = 8192; maxRequestBodySize: int = 1048576;
         requestErrorHandler: RestRequestErrorHandler = nil;
         dualstack = DualStackType.Auto; errorType: type = cstring): Result[
    SecureRestServerRef, errorType] {....raises: [].}

proc start(rs: SecureRestServerRef) {....raises: [],
                                      tags: [RootEffect, WriteIOEffect],
                                      forbids: [].}

proc state(rs: SecureRestServerRef): RestServerState {....raises: [], tags: [],
    forbids: [].}

proc stop(rs: SecureRestServerRef): InternalRaisesFuture[void, void] {.
    ...stackTrace: false, raises: [], gcsafe, raises: [], tags: [RootEffect],
    forbids: [].}