def observe_allowed

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

import Base
import bendtorch-core@0.1.0.0/src/storage/main.bend as Storage

171def observe_allowed(+depth: Nat, +length: Nat, array: Array<F32>, +index: U32, allowed: Bool) -> Maybe<&2, F32>:
172  match allowed:
173    case False{}:
174      None{}
175    case True{}:
176      observe_index(depth, length, array, index, Storage.index_matches(depth, length, index))