type 'x set

val set_empty : 'a1 set

val set_member : ('a1 -> 'a1 -> Bool.bool) -> 'a1 -> 'a1 set -> Bool.bool

val set_equal :
  ('a1 -> 'a1 -> Bool.bool) -> 'a1 set -> 'a1 set -> Bool.bool

val set_diff : 'a1 set -> 'a1 set -> 'a1 set

val set_singleton : 'a1 -> 'a1 set

val set_from_list : 'a1 List.list -> 'a1 set

val set_subset :
  ('a1 -> 'a1 -> Bool.bool) -> 'a1 set -> 'a1 set -> Bool.bool

val set_union : 'a1 set -> 'a1 set -> 'a1 set