diff options
Diffstat (limited to 'tree.sig')
| -rw-r--r-- | tree.sig | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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 |
