From a4c60603f61dd1a9f0ce420be9067965586dd694 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Mon, 4 Aug 2025 22:13:17 +0200 Subject: Object assembly --- tree.sig | 2 ++ 1 file changed, 2 insertions(+) (limited to 'tree.sig') 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 -- cgit v1.2.3