def to_mat

bendtorch@1.3.0.0 · tensor.bend:212

import Base
import bend-ml-tensor-array@0.1.18.0/main.bend as TA

212def to_mat(-r: Nat, -c: Nat, t: Tensor<[r, c]>) -> TA.Mat<r, c>:
213  match t:
214    case Tensor{d}:
215      TA.Mat{d}