def sub_rhs

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

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

11def sub_rhs(+a: U32, +b: U32) -> Nat:
12  Nat.add(U32.to_nat(a), U.U32Nat.dbl(32n, U.U32Nat.bit(U32.is_lt(a, b))))

Uses (7)

Used by (1)

bend-osdev-u32@0.1.0.0/check:main