def has_key

import bend-collections-laws-crypto@1.0.0.0/src/crypto/poly1305/poly1305.bend as Poly1305

import Base

73def has_key(+key: List<&2, U32>) -> Bool:
74  Nat.is_eq(List.length(&2, U32, key), 32n)

Uses (5)