def inspection_dimensions

bendtorch-core@0.1.0.0 · src/tensor/elementwise_PROOF.bend:766

import Base
import bendtorch-core@0.1.0.0/src/tensor/elementwise_totality.bend as Totality

766def inspection_dimensions(value: Totality.Inspection) -> List<&2, U32>:
767  match value:
768    case Totality.Dims{dimensions}:
769      dimensions
770    case Totality.Value{value}:
771      Nil{}