def seq_at_load2

bendtorch@1.3.0.0 · main.bend:873

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

873def seq_at_load2(-P1: Type, -P2: Type, lb: P2 -> Array<F32> -> U32 -> PA<P2>, p2: P2, r: PA<P1>) -> PA<Two<P1, P2>>:
874  match r:
875    case PA{p1, xs, off}: pa_second(P1, P2, p1, lb(p2, xs, off))

Uses (6)

Used by (2)