def packed.final.tail

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

import Base
import mylsm-lsm-store@0.6.0.1/src/hub_sha/state.bend as S
import bend-kit-bytes@0.3.2.0/bytes.bend as Packed

152def packed.final.tail(total: U32, tail_len: Nat, cursor: Packed.Cursor, state: S.State) -> S.State:
153  match tail_len:
154    case 0n:
155      packed.finish.tail(total, (cursor, Nil{}), state)
156    case 1n+more:
157      packed.finish.tail(total, packed.tail(1n+more, Packed.Cursor.u8(cursor), Nil{}), state)