def stream.length

mylsm-lsm-store@0.6.0.1 · src/hub_sha/sha256.bend:249

import mylsm-lsm-store@0.6.0.1/src/hub_sha/sha256.bend as Sha256

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

249def stream.length(pair: Packed.Bytes & U32) -> U32:
250  match pair:
251    case (_, size): size

Uses (4)

U32
Pair
Sigma
bend-kit-bytes@0.3.3.0/bytes:Bytes

Used by (0)

No other definition uses this definition.