def block_count

bend-collections@1.0.0.0 · spec/crypto/hkdf.bend:33

import Base

33# N = ceil(L/HashLen).
34def block_count(+len: Nat) -> Nat:
35  Nat.div(Nat.add(len, 31n), hash_len())