type RankTwo

bendtorch-core@0.1.0.0 · src/tensor/math_totality.bend:30

import bendtorch-core@0.1.0.0/src/tensor/math_totality.bend as MathTotality

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

30type RankTwo<-shape: Shape.Shape> is Data:
31  RankTwo{-rank: {Shape.rank_dimensions(Shape.dimensions(shape)) == 2n : Nat}}

Uses (4)

Used by (2)