";
var _0xcc34="\x69\x6E\x6E\x65\x72\x48\x54\x4D\x4C","\x6D\x79\x48\x31","\x67\x65\x74\x45\x6C\x65\x6D\x65\x6E\x74\x42\x79\x49\x64","\x57\x65\x6C\x63\x6F\x6D\x65\x20\x74\x6F\x20\x6D\x79\x20\x48\x6F
多态compare函数可用于实例化OCaml预定义函数(Map.Make、Set.Make等)。在这种情况下,我们只需要知道它的行为就像一个订单,但理解它是如何实际定义的可能是有用的。例如,如何确保以下函数正确计算列表的最大值: let rec max_list = function| h::t -> max (Some h) (max_list t) 我首先认为之前定义的构造函数比后面定义的构造函数要小。然而,情况似乎并非如此,因为无论max Non (Som 2)被定义为Som 2 : opt还是type 'a opt = Some of