def block_len

import bend-collections-laws-crypto@1.0.0.0/src/crypto/mac.bend as Mac

import Base

17def block_len() -> Nat:
18  64n

Uses (1)