proc addRpcToCancellable(ls: LanguageServer; rpc: Rpc): Rpc {....raises: [],
    tags: [], forbids: [].}

proc initActions(ls: LanguageServer) {....raises: [], tags: [], forbids: [].}

proc processClientLoop(ls: LanguageServer; server: StreamServer;
                       transport: StreamTransport): InternalRaisesFuture[void,
    void] {....gcsafe, stackTrace: false, raises: [], gcsafe, tags: [RootEffect],
            forbids: [].}

proc processContentLength(inputStream: FileStream): string {.
    ...raises: [IOError, OSError, ValueError], tags: [ReadIOEffect, WriteIOEffect],
    forbids: [].}

proc processContentLength(transport: StreamTransport; error: bool = true): InternalRaisesFuture[
    string, void] {....stackTrace: false, raises: [], gcsafe, tags: [RootEffect],
                    forbids: [].}

proc readLspStdin(ctx: ptr ReadStdinContext) {.thread,
    ...raises: [IOError, OSError, ValueError], tags: [ReadIOEffect, WriteIOEffect],
    forbids: [].}

proc readMcpStdin(ctx: ptr ReadStdinContext) {.thread,
    ...raises: [IOError, OSError], tags: [ReadIOEffect], forbids: [].}

proc readValue(r: var JsonReader; val: var OptionalNode)

proc startSocketServer(ls: LanguageServer; port: Port) {.
    ...raises: [JsonRpcError, CatchableError], tags: [WriteIOEffect, RootEffect],
    forbids: [].}

proc startStdioLoop(ls: LanguageServer): Future[void] {....stackTrace: false,
    raises: [], gcsafe, tags: [RootEffect], forbids: [].}

proc startStdioServer(ls: LanguageServer) {....raises: [ResourceExhaustedError],
    tags: [WriteIOEffect, RootEffect], forbids: [].}

proc toJson(params: RequestParamsRx): JsonNode {.
    ...raises: [IOError, OSError, JsonParsingError, ValueError],
    tags: [ReadIOEffect, WriteIOEffect], forbids: [].}

proc wrapContentWithContentLength(content: string): string {....raises: [],
    tags: [], forbids: [].}

proc wrapRpc[T](fn: proc (params: T): Future[auto] {....gcsafe, raises: [].}): Rpc

proc wrapRpc[T](fn: proc (params: T; id: int): Future[auto] {....gcsafe, raises: [].}): Rpc

proc writeOutput(ls: LanguageServer; content: JsonNode) {....raises: [],
    tags: [WriteIOEffect], forbids: [].}

proc writeValue(w: var JsonWriter; value: OptionalNode) {....gcsafe,
    raises: [IOError].}