~/jendhub

def route_n

bendtorch-core@0.1.0.0 · src/storage/refinement.bend:226

import bendtorch-core@0.1.0.0/src/storage/refinement.bend as Refinement
import Base
import bendtorch-core@0.1.0.0/src/storage/model.bend as Model

226def route_n(d: Nat, +n: U32, i: U32) -> Model.Path(d):
227  +j = masked(n, i)
228  trace(d, n, j, U32.is_lt(j, U32.shr(n)))

Uses (7)

Used by (5)