~/jendhub

type SourceRead

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

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

192type SourceRead<-shape: Shape.Shape, -original: Tensor<shape>, -index: U32> is Data:
193  SourceRead{-meaning: {read_value(shape, read_flat(shape, original, index)) == checked_observe(shape, original, index) : Maybe<&2, F32>}}

Uses (8)

Used by (17)