OCaml模块内Union函数调用方法咨询及示例请求

这段OCaml代码里的集合是用特征函数实现的——每个集合本质是一个'a -> bool类型的函数，输入一个元素，返回布尔值表示该元素是否属于这个集合。下面是union函数的调用示例：

1. 定义具体的集合 #

先创建两个整数类型的集合：

(* 包含1、2、3的集合：判断输入元素是否是这三个数之一 *)
let int_set1 : int Set.set = fun x -> x = 1 || x = 2 || x = 3

(* 包含3、4、5的集合 *)
let int_set2 : int Set.set = fun x -> x = 3 || x = 4 || x = 5

2. 调用union函数合并集合 #

通过Set.union把两个集合合并，得到新的集合：

let merged_set = Set.union int_set1 int_set2

3. 验证合并结果 #

合并后的集合依然是个函数，直接传入元素就能判断是否属于集合：

merged_set 1;;  (* 输出：- : bool = true，1在int_set1中 *)
merged_set 4;;  (* 输出：- : bool = true，4在int_set2中 *)
merged_set 6;;  (* 输出：- : bool = false，6不在任何一个集合中 *)
merged_set 3;;  (* 输出：- : bool = true，3同时属于两个集合 *)

也可以结合模块提供的emptyset测试边界情况：

(* 空集和任意集合的并集就是原集合 *)
let test_empty_union = Set.union Set.emptyset int_set1
test_empty_union 2;;  (* 输出：true *)
test_empty_union 6;;  (* 输出：false *)

内容的提问来源于stack exchange，提问作者Anonymous Person