def ladd

bend-kit-collections@0.1.4.1 · nat_order.bend:60

import Base

60def ladd(p: Lin, q: Lin) -> Lin:
61  match p q:
62    case L{a0, a1, a2, a3, a4} L{b0, b1, b2, b3, b4}:
63      L{Nat.add(a0, b0), Nat.add(a1, b1), Nat.add(a2, b2), Nat.add(a3, b3), Nat.add(a4, b4)}