Client.response.request: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend as Client
Lines 230-239 of mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend&start_line=230&end_line=239

import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/Io.bend as Io
import mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend as Protocol

def response.request(
  client: File,
  request: Protocol.Request,
  generation: U32,
  mutation: Bool
) -> IO(Result<&1, &1, Error, Protocol.Response>):
  do IO<Result<&1, &1, Error, Protocol.Response>>:
    response : File & Result<&1, &1, Io.Error, Protocol.Response> <-
      Io.read_response(client)
    response.read(response, request, generation, mutation)

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend&name=response.read
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Io.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Io.bend&name=read_response
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend&name=Request
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend&name=Response