diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-03 23:16:09 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-03 23:16:09 +0200 |
| commit | a797a8e36be4506508b053ce7357766199368daa (patch) | |
| tree | 8313319973b545b3d5b2cd098b2511ad2d0db3de /tree.sml | |
| parent | a3195ce6c388576c017c777ccf917c6a5519a87a (diff) | |
Enum support
Diffstat (limited to 'tree.sml')
| -rw-r--r-- | tree.sml | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -82,6 +82,10 @@ structure Tree: TREE = struct assemble' buf n end + (* f accepts previous value (NONE if not present) and returns + * (res, v' option). Res will be returned by lookup2. 'v if present, will + * be new value in place of the old one + *) fun lookup' buf _ Empty k f = let val (res, newV) = f NONE |