type Sized

bendtorch-core@0.1.0.0 · src/storage/size.bend:11

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

11type Sized<-T: Data, -d: Nat, -original: Array<T>> is Type:
12  Sized{array: Array<T>, size: U32,
13    retained: {array == original : Array<T>},
14    measured: {(array, size) == Array.size(T, original) : Array<T> & U32},
15    extent: {size == capacity(d) : U32},
16    balanced: Model.Balanced(T, d, array)}