type GetFull
bendtorch-core@0.1.0.0 · src/storage/refinement.bend:242
import bendtorch-core@0.1.0.0/src/storage/refinement.bend as Refinement
import Base
import bendtorch-core@0.1.0.0/src/storage/model.bend as Model
242type GetFull<-T: Data, -d: Nat, -original: Array<T>, -i: U32> is Type:
243 GetFull{array: Array<T>, value: T,
244 equal: {(array, value) == Array.get(T, original, i) : Array<T> & T},
245 kept: {array == original : Array<T>},
246 observed: {Some{value} == Model.observe(T, d, original, route(d, i)) : Maybe<&2, T>},
247 balanced: Model.Balanced(T, d, array)}