def dot0

bendtorch@1.3.0.0 · main.bend:1318

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

1318def dot0(+k: Nat, +ia: U32, +ib: U32, +sa: U32, +sb: U32, a: Array<F32>, b: Array<F32>) -> D2:
1319  sdot(k, ia, ib, sa, sb, 0.0, Array.get(F32, a, ia), Array.get(F32, b, ib))

Uses (7)

Used by (28)