~/jendhub

def h.u_diff

bend-kit-collections@0.1.4.1 · PROOF.bend:2736

import bend-kit-collections@0.1.4.1/PROOF.bend as PROOF
import Base

2736def h.u_diff(
2737  +o: U32, +hk: U32, +mask: U32, +c: Bool,
2738  e2: {U32.is_eq((o .&. mask : U32), 0) == c : Bool},
2739  ed: {U32.is_eq((hk .&. mask : U32), 0) == Bool.not(c) : Bool}
2740) -> {U32.is_eq(o, hk) == False{} : Bool}:
2741  h.u_diff.c(o, hk, mask, c, e2, ed, U32.is_eq(o, hk), {==})

Uses (6)

Used by (1)