~/jendhub

def seq_at_store

bendtorch@1.3.0.0 · main.bend:881

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base

881def seq_at_store(-P1: Type, -P2: Type, la: P1 -> Array<F32> -> U32 -> PA<P1>, lb: P2 -> Array<F32> -> U32 -> PA<P2>, p: Two<P1, P2>, xs: Array<F32>, off: U32) -> PA<Two<P1, P2>>:
882  match p:
883    case Two{p1, p2}: seq_at_load2(P1, P2, lb, p2, la(p1, xs, off))

Uses (6)

Used by (1)