From a797a8e36be4506508b053ce7357766199368daa Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Sun, 3 Aug 2025 23:16:09 +0200 Subject: Enum support --- tree.sml | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'tree.sml') diff --git a/tree.sml b/tree.sml index 678ebe8..ee82485 100644 --- a/tree.sml +++ b/tree.sml @@ -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 -- cgit v1.2.3