type Read

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

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

21type Read<-T: Data, -d: Nat, -original: Array<T>, -path: Model.Path(d)> is Type:
22  Read{array: Array<T>, value: Maybe<&2, T>, -balanced: Model.Balanced(T, d, array),
23    retained: {array == original : Array<T>},
24    observed: {value == Model.observe(T, d, original, path) : Maybe<&2, T>}}