X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=exercises%2Fch01%2Ftree_sig.ml;fp=exercises%2Fch01%2Ftree_sig.ml;h=4133a7752f1010ad82fc04e5472859804efc38f0;hb=88cc262a0a05de03560b35950b763f41717b79b1;hp=0000000000000000000000000000000000000000;hpb=06d3ef4a3b9b885a6e402327188d8abb152055f2;p=tiger.ml.git

diff --git a/exercises/ch01/tree_sig.ml b/exercises/ch01/tree_sig.ml
new file mode 100644
index 0000000..4133a77
--- /dev/null
+++ b/exercises/ch01/tree_sig.ml
@@ -0,0 +1,14 @@
+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
+