~/jendhub

def empty.header.entries

mylsm-lsm-store@0.6.0.1 · src/transfer/Restore.bend:375

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

375def empty.header.entries(pair: Bytes.Bytes & Maybe<&2, U32>) -> Bool:
376  match pair:
377    case (input, count):
378      empty.header.entries.checked(input, u32.field.is(count, 0))

Uses (8)

Used by (1)