def list_eq

bend-osdev-bytes@0.1.1.0 · bytes.bend:362

import Base

362def list_eq(xs: List<&2, U32>, ys: List<&2, U32>) -> Bool:
363  match xs ys:
364    case Nil{} Nil{}:
365      True{}
366    case Con{a, s} Con{b, t}:
367      Bool.and(U32.is_eq(a, b), list_eq(s, t))
368    case _ _:
369      False{}