def brk.nats

bend-kit-runner@0.13.0.1 · runner.bend:187

import Base

187def brk.nats(a: List<&2, Nat>, b: List<&2, Nat>) -> Bool:
188  match a b:
189    case Nil{} Nil{}:
190      True{}
191    case Con{+x, xs} Con{+y, ys}:
192      Bool.and(Nat.is_eq(x, y), brk.nats(xs, ys))
193    case p q:
194      False{}