3 val set_empty : 'a1 set
5 val set_member : ('a1 -> 'a1 -> Bool.bool) -> 'a1 -> 'a1 set -> Bool.bool
8 ('a1 -> 'a1 -> Bool.bool) -> 'a1 set -> 'a1 set -> Bool.bool
10 val set_diff : 'a1 set -> 'a1 set -> 'a1 set
12 val set_singleton : 'a1 -> 'a1 set
14 val set_from_list : 'a1 List.list -> 'a1 set
17 ('a1 -> 'a1 -> Bool.bool) -> 'a1 set -> 'a1 set -> Bool.bool
19 val set_union : 'a1 set -> 'a1 set -> 'a1 set