def pcs.eq

bend-kit-regex@0.8.0.0 · regex.bend:1537

import Base

1537def pcs.eq(xs: List<&2, U32>, ys: List<&2, U32>) -> Bool:
1538  match xs ys:
1539    case Nil{} Nil{}:
1540      True{}
1541    case Con{+a, s} Con{+b, t}:
1542      U32.is_eq(a, b) && pcs.eq(s, t)
1543    case _ _:
1544      False{}