def wv.addhi

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

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

import Base

457def wv.addhi(+n: Nat, +ah: Word(n), +al: Word(n), +bh: Word(n), +bl: Word(n)) -> Word(n):
458  Word.add(n, Word.add(n, ah, bh), wv.bitw(n, wv.c1add(n, al, bl)))

Uses (5)

Used by (8)