~/jendhub

def soa.place.pos

gralha-coverage@0.1.0.1 · cover.bend:781

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

781# Place line i at its row's next position.
782def soa.place.pos(got: Array<U32> & U32, a: Array<F32>, order: Array<U32>, +i: U32, +r: U32) -> Array<F32> & (Array<U32> & Array<U32>):
783  (starts, pos) = got
784  +p = pos
785  (a, (Array.set(U32, starts, r, (p + 1 : U32)), Array.set(U32, order, p, i)))

Uses (7)

Used by (1)