Humza Shahid 0d25b88caa change 'helpInsert' function to return trie instead of trie option (I would guess there are fewer cases where the same string is inserted into the trie repeatedly)

2024-09-04 12:05:43 +01:00

..

string-set

change 'helpInsert' function to return trie instead of trie option (I would guess there are fewer cases where the same string is inserted into the trie repeatedly)

2024-09-04 12:05:43 +01:00

string-set.sml

change 'helpInsert' function to return trie instead of trie option (I would guess there are fewer cases where the same string is inserted into the trie repeatedly)

2024-09-04 12:05:43 +01:00