X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_map_sig.ml;fp=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_map_sig.ml;h=6356ed30adb3b4570d90aa016b16ac70861f32a3;hp=ed21d33da1b6592971029b69ad194447ca523cbd;hb=e6e82c0866db4eb08f956b2582e5c2ed5399e986;hpb=d1fe69d31f39d5481d739e592863e1126cfe0c35 diff --git a/compiler/src/lib/tiger/tiger_map_sig.ml b/compiler/src/lib/tiger/tiger_map_sig.ml index ed21d33..6356ed3 100644 --- a/compiler/src/lib/tiger/tiger_map_sig.ml +++ b/compiler/src/lib/tiger/tiger_map_sig.ml @@ -11,5 +11,6 @@ module type S = sig val to_dot : ('k, 'v) t -> k_to_string:('k -> string) -> string - val of_list : ('k * 'v) list -> ('k, 'v) t + val of_list : ('k * 'v) list -> ('k , 'v) t + val to_list : ('k , 'v) t -> ('k * 'v) list end