humza/sml-projects
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
1cf33c9dd7293834f2e3069a3b022b65f5ac2679
sml-projects/message-types/mailbox-type.sml

3 lines
97 B
Standard ML
Raw Normal View History

use concurrency for rebuilding search list after deletion so we don't block main thread on very, very large files
2025-08-07 12:20:57 +01:00
structure MailboxType =
struct datatype t = DRAW of DrawMsg.t | SEARCH of LineGap.t * string end
Reference in New Issue Copy Permalink