~/jendhub

def empty.header.version

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

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

385def empty.header.version(pair: Bytes.Bytes & Maybe<&2, U32>) -> Bool:
386  match pair:
387    case (input, version):
388      empty.header.version.checked(input, u32.field.is(version, 1))

Uses (8)

Used by (1)