~/jendhub

def puts.leaf.at

bend-parallel@0.1.0.0 · scan.bend:137

import bend-parallel@0.1.0.0/scan.bend as Scan
import Base

137def puts.leaf.at(+inc: Bool, +i: U32, +e: Nat, a: Array<U32>, r: Array<U32> & U32) -> Two:
138  (s, +base) = r
139  +at = U32.shln(i, e)
140  puts.leaf.fin(s, go(inc, U32.to_nat((U32.shln(1, e) - 1 : U32)), at, base, a[at]))

Uses (13)

Used by (1)