~/jendhub

def parse.result.second.read

mylsm-lsm-store@0.6.0.1 · src/Manifest.bend:649

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

649def parse.result.second.read(
650  source: Bytes.Bytes,
651  pair: Bytes.Cursor & Maybe<&2, U32>
652) -> ParseResult:
653  match pair:
654    case (_, None{}):
655      Malformed{}
656    case (cursor, Some{word}):
657      parse.result.second.checked(source, Bytes.Cursor.u32be(cursor), U32.is_eq(word, 1295207680))

Uses (10)

Used by (1)