def u32.lt_ne

bend-osdev-algo@0.1.0.0 · PROOF.bend:1009

import bend-osdev-algo@0.1.0.0/PROOF.bend as PROOF

import Base

1009def u32.lt_ne(+a: U32, +b: U32, e: {U32.is_lt(a, b) == True{} : Bool}) -> {U32.is_eq(a, b) == False{} : Bool}:
1010  cmp.lt_ne(U32.cmp(a, b), e)

Uses (6)

Used by (1)

bend-osdev-algo@0.1.0.0/PROOF:bs.none0