def has_length
import bend-collections@1.0.0.0/src/crypto/chacha/chacha20.bend as Chacha20import Base
134def has_length(+xs: List<&2, U32>, n: Nat) -> Bool:
135 Nat.is_eq(List.length(&2, U32, xs), n)
import bend-collections@1.0.0.0/src/crypto/chacha/chacha20.bend as Chacha20import Base
134def has_length(+xs: List<&2, U32>, n: Nat) -> Bool:
135 Nat.is_eq(List.length(&2, U32, xs), n)