~/jendhub

def padding

mylsm-lsm-store@0.6.0.1 · src/hub_sha/core.bend:3408

import mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend as Core
import Base

3408# The padding suffix built only with tail-recursive loops.
3409def padding(+byte_length: Nat) -> List<&2, U32>:
3410  128 <> zeros_onto(Nat.mod(Nat.sub(119n, Nat.mod(byte_length, 64n)), 64n), bit_length(byte_length))

Uses (7)

Used by (1)