☰
C_Trie
container.C_Trie
§C_Trie(CTK type, CTV type, root mutate.new (choice (container.this.type.Indirection_Node container.C_Trie.CTK container.C_Trie.CTV) (container.this.type.rdcss_descriptor container.C_Trie.CTK container.C_Trie.CTV)), read_only bool) => container.C_Trie container.C_Trie.CTK container.C_Trie.CTV:Map container.C_Trie.CTK, container.C_Trie.CTV
§C_Trie(CTK
type
, CTV type
, root mutate.new (choice (container.this.type.Indirection_Node container.C_Trie.CTK container.C_Trie.CTV) (container.this.type.rdcss_descriptor container.C_Trie.CTK container.C_Trie.CTV)), read_only bool) =>
container.C_Trie container.C_Trie.CTK container.C_Trie.CTV:
Map container.C_Trie.CTK, container.C_Trie.CTVthe ctrie
lookup an element in this ctrie via bracket syntax
a snapshot of the C_Trie as sequence auf key-value tuples
lookup key k
remove key from ctrie