def pad.of

import ezx@1.11.0.0/src/sha/nar.bend as Nar

import Base

48def pad.of(+len: Nat) -> Nat:
49  Nat.mod(Nat.sub(8n, Nat.mod(len, 8n)), 8n)

Uses (3)