type TP

bendtorch@1.3.0.0 · tensor.bend:247

import Base

247# a tensor and the gradient that comes back with it
248type TP<-a: List<&2, Nat>, -b: List<&2, Nat>> is Type:
249  TP{x: Tensor<a>, y: Tensor<b>}