type Node

bend-collections@1.0.0.0 · src/containers/balanced_search_tree.bend:6

import Base

6# Indexed CLRS red-black map. Keys and payloads are Data for this version.
7# Comparator is a type index: changing comparator requires rebuilding a map.
8# Node links are slot indices plus one; zero is the black NIL sentinel.
9type Node<-K: Data> is Data:
10  Free{next: Nat}
11  N{red: Bool, left: Nat, right: Nat, parent: Nat, key: K}