From 5edd85474d6d8f3a0cc06cc0250ed3db8b26fcfa Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Sat, 17 May 2025 14:45:50 +0200 Subject: Function-like macros --- tree.sig | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 tree.sig (limited to 'tree.sig') diff --git a/tree.sig b/tree.sig new file mode 100644 index 0000000..afab259 --- /dev/null +++ b/tree.sig @@ -0,0 +1,13 @@ +signature TREE = sig + type ('k, 'v) t + exception Exists + + val empty: ('k, 'v) t + + val insert: ('k -> 'k -> order) -> ('k, 'v) t -> 'k -> 'v -> ('k, 'v) t + val lookup: ('k -> 'k -> order) -> ('k, 'v) t -> 'k -> 'v option + val lookup2: ('k -> 'k -> order) -> ('k, 'v) t -> 'k -> + ('v -> 'v option * 'a) * 'a -> 'a * ('k, 'v) t + + val print: ('k, 'v) t -> ('k -> string) -> ('v -> string) -> unit +end -- cgit v1.2.3