From 88c48b05929707273e7f8e030113fca4dfabd55d Mon Sep 17 00:00:00 2001
From: Humza Shahid <humzasaur@gmail.com>
Date: Sat, 7 Sep 2024 21:57:01 +0100
Subject: [PATCH] add 1-line toList function to StringSet, which is not useful
 to me but very convenient to add

---
 src/string-set.sml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/string-set.sml b/src/string-set.sml
index 5f706b0..5e470bc 100644
--- a/src/string-set.sml
+++ b/src/string-set.sml
@@ -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 *)