如何在OCaml中将Map.key更改为String？

Question

首先我定义了

module StringMap = Map.Make（String）;;

我有一个由StringMap.bindings生成的列表，列表中的类型是（StringMap.key×int）。我想将密钥用作字符串，以便我可以比较它们，我怎么能改变它的列表的类型？

Answer 1

您的类型StringMap.key是string的同义词。没有必要转换，它们是相同的类型。

# let mymap = StringMap.singleton "abc" 14;;
val mymap : int StringMap.t = <abstr>
# StringMap.bindings mymap;;
- : (StringMap.key * int) list = [("abc", 14)]
# fst (List.hd (StringMap.bindings mymap)) = "abc";;
- : bool = true