def wv.c1sub

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

import Base

460def wv.c1sub(+n: Nat, +al: Word(n), +bl: Word(n)) -> Bool:
461  Cmp.is_lt(Word.cmp(n, al, bl))

Uses (5)