type MatT.Cols

bend-tensors@0.0.0.2 · bend_tensors.bend:679

import Base

679type MatT.Cols<-r: Nat, -q: Nat> is Data:
680  MatC{left: MatT(r, q), right: MatT(r, q)}