add 1-line toList function to StringSet, which is not useful to me but very convenient to add

This commit is contained in:
2024-09-07 21:57:01 +01:00
parent 738e7d93d1
commit 88c48b0592

View File

@@ -224,6 +224,8 @@ struct
| NO_PREFIX_FOUND => []
| PREFIX_MATCHES_WHOLE_TRIE => helpGetPrefixList (trie, [])
fun toList trie = helpGetPrefixList (trie, [])
datatype insert_string_match =
NO_INSERT_MATCH
(* may need to split string if difference found but prefix matched *)