def wv.c1add

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

import Base

454def wv.c1add(+n: Nat, +al: Word(n), +bl: Word(n)) -> Bool:
455  Cmp.is_lt(Word.cmp(n, Word.add(n, al, bl), al))

Uses (6)