type DynamicRead
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Coreimport Base
452type DynamicRead<-original: Dynamic, -index: U32> is Type:
453 DynamicRead{dynamic: Dynamic, result: Result<&2, &2, Error, F32>,
454 exact: {(dynamic, result) == read_dynamic(original, index) : Dynamic & Result<&2, &2, Error, F32>}}
Uses (8)
Used by (5)
- bendtorch-core@0.1.0.0/src/tensor/core:dynamic_read_certificate
- bendtorch-core@0.1.0.0/src/tensor/core:dynamic_read_certificate_pair
- bendtorch-core@0.1.0.0/src/tensor/core_PROOF:step_left_certificate
- bendtorch-core@0.1.0.0/src/tensor/core_PROOF:step_right_certificate
- bendtorch-core@0.1.0.0/src/tensor/core_PROOF:read_original