type Storage

bendtorch-core@0.1.0.0 · src/storage/main.bend:15

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

15type Storage is Type:
16  Empty{}
17  Owned{depth: Nat, length: Nat, array: Array<F32>,
18    -balanced: Model.Balanced(F32, depth, array),
19    -bounds: {bounds(depth, length) == True{} : Bool}}