def rank

stelliferous@0.0.2.0 · tensor_view.bend:64

import Base
import stelliferous@0.0.2.0/tensor_shape.bend as Shapes

64def rank(view: View) -> Nat:
65  Shapes.rank(shape(view))