type DynamicSourceRead

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

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

import Base

478type DynamicSourceRead<-original: Dynamic, -index: U32> is Data:
479  DynamicSourceRead{-meaning: {dynamic_read_value(read_dynamic(original, index)) == checked_observe_dynamic(original, index) : Maybe<&2, F32>}}

Uses (7)

Used by (6)