def equal

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/subtle.bend:13

import Base

13def equal(a: List<&2, U32>, b: List<&2, U32>) -> Bool:
14  match a b:
15    case Nil{} Nil{}:
16      True{}
17    case x <> xs y <> ys:
18      Bool.and(U32.is_eq(x, y), equal(xs, ys))
19    case _ _:
20      False{}