def tag_size
import bend-collections@1.0.0.0/src/crypto/aead.bend as Aeadimport Base
57def tag_size() -> Nat:
58 16n
Uses (1)
Used by (0)
No other definition uses this definition.
import bend-collections@1.0.0.0/src/crypto/aead.bend as Aeadimport Base
57def tag_size() -> Nat:
58 16n
No other definition uses this definition.