def Mat.transpose

bend-ml-tensor@0.1.2.0 · main.bend:265

import Base

265def Mat.transpose(-r: Nat, +c: Nat, a: Mat<r, c>) -> Mat<c, r>:
266  match a:
267    case Mat{x}:
268      Mat{transpose.go(c, x)}