def Vec.dot
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
1381def Vec.dot(+m: Nat, a: Vec<m>, b: Vec<m>) -> F32:
1382 VecS{x} = a
1383 VecS{y} = b
1384 VecT.dot(VecT.depth(m), x, y)
Uses (5)
Used by (0)
No other definition uses this definition.