def Dot.then
import bendtorch@1.3.0.0/tensor.bend as Tensorimport Base
636def Dot.then(-R: Type, d: Dot, k: Array<F32> -> Array<F32> -> F32 -> R) -> R:
637 match d:
638 case Dot{x, y, v}:
639 k(x, y, v)
import bendtorch@1.3.0.0/tensor.bend as Tensorimport Base
636def Dot.then(-R: Type, d: Dot, k: Array<F32> -> Array<F32> -> F32 -> R) -> R:
637 match d:
638 case Dot{x, y, v}:
639 k(x, y, v)