From b3f8ca28af653dcb5fdc10e8c70439d86c043635 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Fri, 1 Aug 2025 19:26:54 +0200 Subject: Remove fp support --- tree.sig | 1 + 1 file changed, 1 insertion(+) (limited to 'tree.sig') 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 -- cgit v1.2.3