def nats_add

unified-nsga-iii@0.2.2.0 · util.bend:123

import Base

123def nats_add(a: List<&2, Nat>, b: List<&2, Nat>) -> List<&2, Nat>:
124  match a b:
125    case Nil{} Nil{}:
126      Nil{}
127    case x <> xs y <> ys:
128      Nat.add(x, y) <> nats_add(xs, ys)
129    case Nil{} ys:
130      ys
131    case xs Nil{}:
132      xs