def cat_shape
import bendtorch@1.3.0.0/tensor.bend as Tensorimport Base
580def cat_shape(+a: List<&2, Nat>, +b: List<&2, Nat>, +d: Nat) -> List<&2, Nat>:
581 setd(a, d, Nat.add(at1(a, d), at1(b, d)))
import bendtorch@1.3.0.0/tensor.bend as Tensorimport Base
580def cat_shape(+a: List<&2, Nat>, +b: List<&2, Nat>, +d: Nat) -> List<&2, Nat>:
581 setd(a, d, Nat.add(at1(a, d), at1(b, d)))