let rec iter f trie = match trie with | Empty -> () | Full v -> f v | Node l -> List.iter (fun (_,t) -> iter f t) l