def eq

bend-collections-laws-crypto@1.0.0.0 · src/crypto/subtle.bend:24

import Base

24# True exactly when a and b are the same list.
25def eq(+a: List<&2, U32>, +b: List<&2, U32>) -> Bool:
26  Bool.and(Nat.is_eq(List.length(&2, U32, a), List.length(&2, U32, b)),
27    U32.is_eq(diff(a, b, 0), 0))