Define the canonical map structure for Tiger

[tiger.ml.git] / compiler / src / lib / tiger / tiger_map_sig.ml

diff --git a/compiler/src/lib/tiger/tiger_map_sig.ml b/compiler/src/lib/tiger/tiger_map_sig.ml
new file mode 100644 (file)
index 0000000..521b6cf
--- /dev/null
+++ b/compiler/src/lib/tiger/tiger_map_sig.ml
@@ -0,0 +1,13 @@
+module type S = sig
+  type ('k, 'v) t
+
+  val empty : ('k, 'v) t
+
+  val set : ('k, 'v) t -> k:'k -> v:'v -> ('k, 'v) t
+
+  val get : ('k, 'v) t -> k:'k -> 'v option
+
+  val member : ('k, 'v) t -> k:'k -> bool
+
+  val to_dot : ('k, 'v) t -> k_to_string:('k -> string) -> string
+end