~/jendhub

def observe_index

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

import bendtorch-core@0.1.0.0/src/tensor/lifecycle.bend as Lifecycle
import Base
import bendtorch-core@0.1.0.0/src/storage/model.bend as Model
import bendtorch-core@0.1.0.0/src/storage/refinement.bend as Refinement

164def observe_index(+depth: Nat, -length: Nat, array: Array<F32>, +index: U32, matched: Bool) -> Maybe<&2, F32>:
165  match matched:
166    case False{}:
167      None{}
168    case True{}:
169      Model.observe(F32, depth, array, Refinement.route(depth, index))

Uses (8)

Used by (7)