def list_eq

lawful-bytes@0.1.1.0 · defs.bend:82

import Base

82# Two lists are equal, element by element.
83def list_eq(xs: List<&2, U32>, ys: List<&2, U32>) -> Bool:
84  match xs ys:
85    case Nil{} Nil{}:
86      True{}
87    case Con{x, xt} Con{y, yt}:
88      U32.is_eq(x, y) && list_eq(xt, yt)
89    case Nil{} Con{y, yt}:
90      False{}
91    case Con{x, xt} Nil{}:
92      False{}