type Get

bendtorch-core@0.1.0.0 · src/storage/refinement.bend:26

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

26type Get<-T: Data, -d: Nat, -original: Array<T>, -n: U32, -i: U32, -z: Bool> is Type:
27  Get{array: Array<T>, value: T,
28    equal: {(array, value) == Array.get.go(T, original, n, i, z) : Array<T> & T},
29    kept: {array == original : Array<T>},
30    observed: {Some{value} == Model.observe(T, d, original, trace(d, n, i, z)) : Maybe<&2, T>},
31    balanced: Model.Balanced(T, d, array)}