def find.start

lawful-bytes@0.1.1.0 · fast.bend:66

import Base

66def find.start(n: Nat, r: Array<U32> & U32, +from: U32, +rc: U32) -> Array<U32> & U32:
67  (a, +w) = r
68  +wi = (from >> 2n : U32)
69  +lo = U32.not(low(from))
70  +m = zb(((w .^. rc : U32) .|. lo : U32))
71  find.go(n, U32.is_zero(m), Array.get(U32, a, (wi + 1 : U32)), wi, m, rc)