def observation

bendtorch-core@0.1.0.0 · src/storage/array.bend:96

import bendtorch-core@0.1.0.0/src/storage/array.bend as Array

import Base
import bendtorch-core@0.1.0.0/src/storage/model.bend as Model

96def observation(-T: Data, -d: Nat, -original: Array<T>, -path: Model.Path(d),
97  read: Read<T, d, original, path>) -> Maybe<&2, T>:
98  match read:
99    case Read{array, value, valid, kept, observed}:
100      value

Uses (5)

Used by (3)