def tp_of

bendtorch@1.3.0.0 · tensor.bend:251

import bendtorch@1.3.0.0/tensor.bend as Tensor

import Base

251def tp_of(-a: List<&2, Nat>, -b: List<&2, Nat>, p: P2) -> TP<a, b>:
252  match p:
253    case P2{x, y}:
254      TP{Tensor{x}, Tensor{y}}

Uses (5)

Used by (10)