~/jendhub

def h.route

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

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

1967def h.route(
1968  x: U32, y: U32, m: U32, em: {h.onebit(m) == True{} : Bool},
1969  ex: {U32.is_eq((x .&. m : U32), 0) == False{} : Bool},
1970  ey: {U32.is_eq((y .&. m : U32), 0) == False{} : Bool}
1971) -> {U32.is_eq((x .&. m : U32), (y .&. m : U32)) == True{} : Bool}:
1972  match x y m:
1973    case U32{xw} U32{yw} U32{+mw}:
1974      h.route_w(32n, xw, yw, mw, em, ex, ey)

Uses (6)

Used by (1)