def has_key
import bend-collections@1.0.0.0/src/crypto/poly1305/poly1305.bend as Poly1305import Base
73def has_key(+key: List<&2, U32>) -> Bool:
74 Nat.is_eq(List.length(&2, U32, key), 32n)
import bend-collections@1.0.0.0/src/crypto/poly1305/poly1305.bend as Poly1305import Base
73def has_key(+key: List<&2, U32>) -> Bool:
74 Nat.is_eq(List.length(&2, U32, key), 32n)