let
add_array cube v trie = add (
Array
.to_list cube) v trie