type MatT.Rows

bend-tensors@0.0.0.2 · bend_tensors.bend:676

import Base

676type MatT.Rows<-p: Nat, -c: Nat> is Data:
677  MatR{top: MatT(p, c), bot: MatT(p, c)}