summaryrefslogtreecommitdiff
path: root/tree.sig
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-08-01 19:26:54 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-08-01 19:26:54 +0200
commitb3f8ca28af653dcb5fdc10e8c70439d86c043635 (patch)
tree168ef8c424c4688d3ae5fdcb30ecb10d81eeca35 /tree.sig
parent0a091754ea2d9944e35215d67604c58c6f874cbd (diff)
Remove fp support
Diffstat (limited to 'tree.sig')
-rw-r--r--tree.sig1
1 files changed, 1 insertions, 0 deletions
diff --git a/tree.sig b/tree.sig
index e06ca68..8967f83 100644
--- a/tree.sig
+++ b/tree.sig
@@ -14,4 +14,5 @@ signature TREE = sig
('v option -> 'a * 'v option) -> 'a * ('k, 'v) t
val print: ('k, 'v) t -> ('k -> string) -> ('v -> string) -> unit
+ val size: ('k, 'v) t -> int
end