~/jendhub

type DynamicSourceReadKeeps

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

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

501type DynamicSourceReadKeeps<-original: Dynamic, -index: U32> is Data:
502  DynamicSourceReadKeeps{-kept: @+other: U32 ->
503    {retained_dynamic_observe(read_dynamic(original, index), other) == checked_observe_dynamic(original, other) : Maybe<&2, F32>}}

Uses (7)

Used by (5)