def retained

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

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

102def retained(-T: Data, -d: Nat, -original: Array<T>, -path: Model.Path(d),
103  read: Read<T, d, original, path>) -> Array<T>:
104  match read:
105    case Read{array, value, valid, kept, observed}:
106      array

Uses (4)

Used by (3)