type Links

bend-collections@1.0.0.0 · src/containers/intrusive_links.bend:4

import Base

4# A ready-made link table for the intrusive list: entity ids are U32 values
5# 1 .. 2^node_depth - 1 (0 means "no entity"), roots are 0 .. 2^root_depth - 1.
6# One U32 per link, so a membership edit is a few indexed array writes. The
7# accessors below are the ones proved to meet the adapter laws for every size
8# (proofs/containers/intrusive_doubly_linked_list/links.bend); an application
9# that keeps its own entity array can copy this layout.
10type Links is Type:
11  Links{nexts: Array<U32>, prevs: Array<U32>, heads: Array<U32>}