def wv.subhi

bend-osdev-word64@0.1.1.0 · proof_value.bend:463

import bend-osdev-word64@0.1.1.0/proof_value.bend as ProofValue

import Base

463def wv.subhi(+n: Nat, +ah: Word(n), +al: Word(n), +bh: Word(n), +bl: Word(n)) -> Word(n):
464  Word.sub(n, Word.sub(n, ah, bh), wv.bitw(n, wv.c1sub(n, al, bl)))

Uses (5)

Used by (6)