def owned_inspect

bendtorch-core@0.1.0.0 · src/tensor/elementwise_parallel_proof.bend:256

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/storage/model.bend as Model
import bendtorch-core@0.1.0.0/src/storage/refinement.bend as Refinement
import bendtorch-core@0.1.0.0/src/tensor/lifecycle.bend as Lifecycle
import bendtorch-core@0.1.0.0/src/tensor/elementwise_totality.bend as Totality

256def owned_inspect(+shape: Shape.Shape, +depth: Nat, +length: Nat, property: Totality.Property, array: Array<F32>) -> Totality.Inspection:
257  match property:
258    case Totality.Dimensions{}:
259      Totality.Dims{Shape.dimensions(shape)}
260    case Totality.Checked{+index}:
261      Totality.Value{Lifecycle.checked_observe_array(depth, length, array, index)}
262    case Totality.Raw{+index}:
263      Totality.Value{Model.observe(F32, depth, array, Refinement.route(depth, index))}