let
add_node p trie = add_array (
Node
.array p) p trie