type Mat

bend-tensors@0.0.0.2 · bend_tensors.bend:1415

import Base

1415type Mat<-rows: Nat, -cols: Nat> is Data:
1416  MatS{tree: MatT(VecT.depth(rows), VecT.depth(cols))}