diff options
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 |