小编Dav*_*vid的帖子

我正在编写一个OCaml函数,我需要合并两个映射.我无法弄清楚mergefunctor提供的函数的语义Map.Make(在OCaml的3.12.0版本中找到).有人可以向我提供比OCaml手册更详细的解释吗？一个例子可能足以让我弄清楚.

另外,我需要合并的两个映射有一些有趣的属性:键具有相同的类型(int实际上),并且它们的域是不相交的.是否有比合并例程更有效的方法？