summaryrefslogtreecommitdiff
path: root/tree.sig
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-08-04 22:13:17 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-08-04 22:13:17 +0200
commita4c60603f61dd1a9f0ce420be9067965586dd694 (patch)
treec5f48221a8291b817d6eec0fd3f70eeb8c26a300 /tree.sig
parent396ebf0c76153e5e1e9dc77371bdd02b4d3d85d1 (diff)
Object assembly
Diffstat (limited to 'tree.sig')
-rw-r--r--tree.sig2
1 files changed, 2 insertions, 0 deletions
diff --git a/tree.sig b/tree.sig
index 8967f83..30cf52a 100644
--- a/tree.sig
+++ b/tree.sig
@@ -14,5 +14,7 @@ signature TREE = sig
('v option -> 'a * 'v option) -> 'a * ('k, 'v) t
val print: ('k, 'v) t -> ('k -> string) -> ('v -> string) -> unit
+ val traverse: ('k, 'v) t -> ('k -> 'v -> 'a -> 'a) -> 'a -> 'a
+ val changeV: ('k, 'v) t -> ('v -> 'v) -> ('k, 'v) t
val size: ('k, 'v) t -> int
end