def of_mat

bendtorch@1.3.0.0 · tensor.bend:207

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

207def of_mat(-r: Nat, -c: Nat, m: TA.Mat<r, c>) -> Tensor<[r, c]>:
208  match m:
209    case TA.Mat{d}:
210      Tensor{d}