def words.of

ezx@1.11.0.0 · src/share/sha.bend:19

import Base

19# how many words hold this many bytes
20def words.of(len: Nat) -> Nat:
21  Nat.div(Nat.add(len, 3n), 4n)