def u32.read.value

mylsm-lsm-store@0.6.0.1 · src/coordinator/OwnerGeneration.bend:19

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

19# Extracts a decoded word while consuming the buffer returned by the reader.
20def u32.read.value(pair: Bytes.Bytes & Maybe<&2, U32>) -> U32:
21  match pair:
22    case (_, Some{value}): value
23    case _: 0