~/jendhub

def empty_read_property

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

import bendtorch-core@0.1.0.0/src/tensor/elementwise_PROOF.bend as ElementwisePROOF
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/storage/main.bend as Storage
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import bendtorch-core@0.1.0.0/src/tensor/elementwise_totality.bend as Totality

197def empty_read_property(+shape: Shape.Shape, +index: U32, property: Totality.Property,
198  -exact: {0n == Shape.logical_numel(Shape.dimensions(shape)) : Nat}) ->
199  InspectionModel<Totality.inspect(property, dynamic_read_owner(Core.read_dynamic(Core.Packed{shape, Core.TTensor{Storage.Empty{}, exact}}, index))),
200    Totality.inspect(property, Core.Packed{shape, Core.TTensor{Storage.Empty{}, exact}})>:
201  match property:
202    case Totality.Dimensions{}:
203      InspectionModel{{==}}
204    case Totality.Checked{other}:
205      InspectionModel{{==}}
206    case Totality.Raw{other}:
207      InspectionModel{{==}}

Uses (13)

Used by (1)