如何改变地图.键转换为OCaml中的字符串

Question

首先我定义了

module StringMap = Map.Make(String);;

和我有一个由StringMap生成的列表。绑定时，列表中的类型是(StringMap。键x 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