def packed.final
import mylsm-lsm-store@0.6.0.1/src/hub_sha/sha256.bend as Sha256import Base
import mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend as Core
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
159def packed.final(total: U32, tail_len: Nat, cursor: Packed.Cursor, state: S.State) -> List<&2, U32>:
160 Core.digest(packed.final.tail(total, tail_len, cursor, state))