def inspect

bendtorch-core@0.1.0.0 · src/tensor/elementwise_totality.bend:35

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

35def inspect(property: Property, dynamic: Core.Dynamic) -> Inspection:
36  match property:
37    case Dimensions{}:
38      Dims{dimensions(dynamic)}
39    case Checked{index}:
40      Value{Core.checked_observe_dynamic(dynamic, index)}
41    case Raw{index}:
42      Value{Core.observe_dynamic(dynamic, index)}