type Cloned

bendtorch-core@0.1.0.0 · src/storage/clone.bend:4

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

4type Cloned<-T: Data, -d: Nat, -original: Array<T>> is Type:
5  Cloned{first: Array<T>, second: Array<T>,
6    exact: {(first, second) == Array.clone(T, original) : Array<T> & Array<T>},
7    first_equal: {first == original : Array<T>},
8    second_equal: {second == original : Array<T>},
9    first_balanced: Model.Balanced(T, d, first),
10    second_balanced: Model.Balanced(T, d, second)}