def byte_count

bend-collections@1.0.0.0 · proofs/crypto/sha/packed/core_model.bend:493

import Base

493def byte_count(bytes: List<&2, U32>, acc: Nat) -> Nat:
494  match bytes:
495    case Nil{}:
496      acc
497    case h <> t:
498      byte_count(t, 1n+acc)