Protocol.response.encode.header: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend as Protocol
Lines 161-181 of mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend&start_line=161&end_line=181

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

def response.encode.header(
  buffer: Array<U32>,
  version: U32,
  generation: U32,
  request_id: U32,
  status_code: U32,
  payload_length: U32
) -> Array<U32>:
  Bytes.put.go(4n,
    Bytes.put.go(4n,
      Bytes.put.go(4n,
        Bytes.put.go(4n,
          Bytes.put.go(4n,
            Bytes.put.go(4n,
              Bytes.put.go(4n, buffer, 3, False{}, 1296847670),
              7, False{}, version),
            11, False{}, generation),
          15, False{}, request_id),
        19, False{}, 7),
      23, False{}, U32.add(payload_length, 4)),
    27, False{}, status_code)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=put.go