X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_map_sig.ml;h=6356ed30adb3b4570d90aa016b16ac70861f32a3;hb=HEAD;hp=521b6cfa3934dbc44734fef881a97101f2fea203;hpb=2eadd9297a93ac7776a810ed44a547b67dddf32b;p=tiger.ml.git diff --git a/compiler/src/lib/tiger/tiger_map_sig.ml b/compiler/src/lib/tiger/tiger_map_sig.ml index 521b6cf..6356ed3 100644 --- a/compiler/src/lib/tiger/tiger_map_sig.ml +++ b/compiler/src/lib/tiger/tiger_map_sig.ml @@ -10,4 +10,7 @@ module type S = sig val member : ('k, 'v) t -> k:'k -> bool val to_dot : ('k, 'v) t -> k_to_string:('k -> string) -> string + + val of_list : ('k * 'v) list -> ('k , 'v) t + val to_list : ('k , 'v) t -> ('k * 'v) list end