OwnerCursorCodec.close.measured: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/OwnerCursorCodec.bend as OwnerCursorCodec
Lines 51-55 of mylsm-lsm-store@0.6.0.1/src/coordinator/OwnerCursorCodec.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/OwnerCursorCodec.bend&start_line=51&end_line=55

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

# Accepts one close payload only when its measured length is zero.
def close.measured(measured: Bytes.Bytes & U32) -> CloseDecision:
  match measured:
    case (_, 0): CloseSucceeded{}
    case _: CloseMalformed{}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  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/coordinator/OwnerCursorCodec.bend&name=CloseDecision