~/jendhub

type SourceReadKeeps

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

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

219type SourceReadKeeps<-shape: Shape.Shape, -original: Tensor<shape>, -index: U32> is Data:
220  SourceReadKeeps{-kept: @+other: U32 ->
221    {retained_read_observe(shape, read_flat(shape, original, index), other) == checked_observe(shape, original, other) : Maybe<&2, F32>}}

Uses (8)

Used by (13)