Wal.frame.payload.fin: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/Wal.bend as Wal
Lines 272-282 of mylsm-lsm-store@0.6.0.1/src/Wal.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/Wal.bend&start_line=272&end_line=282

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

def frame.payload.fin(
  +count: U32,
  payload: Bytes.Bytes,
  hash_payload: Bytes.Bytes,
  frame_len: Maybe<&2, U32>
) -> Result<&1, &1, Error, Bytes.Bytes>:
  match frame_len:
    case None{}:
      Fail{TooLarge{}}
    case Some{+length}:
      frame.payload.valid(count, payload, length, hash_payload, frame_length_allowed(count, length))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Wal.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Wal.bend&name=frame.payload.valid
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Wal.bend&name=frame_length_allowed