let mem_array_poly a trie = mem_poly (Array.to_list a) trie