diff options
author | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-01 19:26:54 +0200 |
---|---|---|
committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-01 19:26:54 +0200 |
commit | b3f8ca28af653dcb5fdc10e8c70439d86c043635 (patch) | |
tree | 168ef8c424c4688d3ae5fdcb30ecb10d81eeca35 /tree.sig | |
parent | 0a091754ea2d9944e35215d67604c58c6f874cbd (diff) |
Remove fp support
Diffstat (limited to 'tree.sig')
-rw-r--r-- | tree.sig | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |