def t3_of

bendtorch@1.3.0.0 · tensor.bend:221

import Base

221def t3_of(-a: List<&2, Nat>, -b: List<&2, Nat>, -o: List<&2, Nat>, p: P3) -> T3<a, b, o>:
222  match p:
223    case P3{x, y, z}:
224      T3{Tensor{x}, Tensor{y}, Tensor{z}}