~/jendhub

def snapshot.get.length.checked

mylsm-lsm-store@0.6.0.1 · src/coordinator/Operation.bend:197

import mylsm-lsm-store@0.6.0.1/src/coordinator/Operation.bend as Operation
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

197def snapshot.get.length.checked(
198  parsed: Bytes.Bytes & Maybe<&2, U32>,
199  lengths: U32 & U32 & U32
200) -> Decision:
201  match lengths:
202    case (length, (check_length, _)):
203      snapshot.get.parsed(parsed, length, U32.is_le(4, check_length))

Uses (8)

Used by (1)