BalancedSearchTree.Node: type of bend-collections@1.0.0.0 Import: import bend-collections@1.0.0.0/src/containers/balanced_search_tree.bend as BalancedSearchTree Lines 6-11 of bend-collections@1.0.0.0/src/containers/balanced_search_tree.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/containers/balanced_search_tree.bend&start_line=6&end_line=11 import Base # Indexed CLRS red-black map. Keys and payloads are Data for this version. # Comparator is a type index: changing comparator requires rebuilding a map. # Node links are slot indices plus one; zero is the black NIL sentinel. type Node<-K: Data> is Data: Free{next: Nat} N{red: Bool, left: Nat, right: Nat, parent: Nat, key: K} Uses (2): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat