def list_eq.go

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

import Base

382def list_eq.go(xs: List<&2, U32>, ys: List<&2, U32>, ok: Bool) -> Bool:
383  match xs ys:
384    case Nil{} Nil{}:
385      ok
386    case Con{a, s} Con{b, t}:
387      list_eq.go(s, t, Bool.and(ok, U32.is_eq(a, b)))
388    case _ _:
389      False{}