def sub_lhs
import bend-osdev-u32@0.1.0.0/check.bend as Checkimport Base
8def sub_lhs(+a: U32, +b: U32) -> Nat:
9 Nat.add(U32.to_nat(U32.sub(a, b)), U32.to_nat(b))
import bend-osdev-u32@0.1.0.0/check.bend as Checkimport Base
8def sub_lhs(+a: U32, +b: U32) -> Nat:
9 Nat.add(U32.to_nat(U32.sub(a, b)), U32.to_nat(b))