X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=exercises%2Fch01%2Ftree_sig.ml;fp=exercises%2Fch01%2Ftree_sig.ml;h=0000000000000000000000000000000000000000;hb=958f72687df932030c5dfafc7066889982497729;hp=4133a7752f1010ad82fc04e5472859804efc38f0;hpb=88cc262a0a05de03560b35950b763f41717b79b1;p=tiger.ml.git diff --git a/exercises/ch01/tree_sig.ml b/exercises/ch01/tree_sig.ml deleted file mode 100644 index 4133a77..0000000 --- a/exercises/ch01/tree_sig.ml +++ /dev/null @@ -1,14 +0,0 @@ -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 -