假设我有一个函数list_fun : int_list -> string list
,并且在该函数中我使用了我定义为模块的 StringSet,StringSet = Set.Make(String) ;;
我尝试让函数返回Set.elements s
并获取 astring list
但我得到的StringSet.elt list
应该是与 StringSet 相同的东西type t = string
你如何让 OCAML 理解这些类型是相同定义的?当我开始使用 OCAML 标准库函数时,我遇到了几个案例。