def rank
import stelliferous@0.0.2.0/tensor_shape.bend as TensorShapeimport Base
9def rank(shape: Shape) -> Nat:
10 Shape{extents} = shape
11 List.length(&2,U32,extents)
import stelliferous@0.0.2.0/tensor_shape.bend as TensorShapeimport Base
9def rank(shape: Shape) -> Nat:
10 Shape{extents} = shape
11 List.length(&2,U32,extents)