type Mat

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

import Base

15type Mat<-r: Nat, -c: Nat> is Data:
16  Mat{rows: List<&2, List<&2, F32>>}