~/jendhub

def soa.stored

gralha-coverage@0.1.0.1 · cover.bend:807

import gralha-coverage@0.1.0.1/cover.bend as Cover
import Base

807def soa.stored(st: Array<F32> & Array<U32>, +n: U32, +h: U32) -> Array<F32> & Array<U32>:
808  (a, counts) = st
809  soa.placed(soa.place((a, (counts.done(counts.prefix((counts, 0), U32.to_nat((h + 2 : U32)), 0)), Array.new(U32, depth.for((n + 1 : U32), 1, 0n), 0))), U32.to_nat(n), 0, h))

Uses (13)

Used by (1)