def snapshot.get.measured
mylsm-lsm-store@0.6.0.1 · src/coordinator/Operation.bend:205
import mylsm-lsm-store@0.6.0.1/src/coordinator/Operation.bend as Operation
import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend as Protocol
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
205def snapshot.get.measured(measured: Bytes.Bytes & U32) -> Decision:
206 match measured:
207 case (payload, length):
208 snapshot.get.length.checked(Bytes.get.u32be(payload, 0),
209 Protocol.u32.duplicate.triple(length))