~/jendhub

def add_lhs

bend-osdev-u32@0.1.0.0 · check.bend:4

import bend-osdev-u32@0.1.0.0/check.bend as Check
import Base
import bend-osdev-u32@0.1.0.0/u32.bend as U

4# the two sides of u32_add_wrap and u32_sub_wrap, at run time
5def add_lhs(+a: U32, +b: U32) -> Nat:
6  Nat.add(U32.to_nat(U32.add(a, b)), U.U32Nat.dbl(32n, U.U32Nat.bit(U32.is_lt(U32.add(a, b), a))))

Uses (8)

Used by (1)