type DynamicRead

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

import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import 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)