def Mat.to_list2

bend-ml-tensor-array@0.1.19.0 · main.bend:798

import Base

798def Mat.to_list2(-r: Nat, -c: Nat, al: AL) -> ML<r, c>:
799  match al:
800    case AL{d, l}:
801      ML{Mat{d}, l}