type 'x set = 'x Pset.set

let matitabool_of_bool b = if b then Bool.True else Bool.False

(** val set_empty : 'a1 set **)
let set_empty = Pset.empty

(** val set_member :
    ('a1 -> 'a1 -> Bool.bool) -> 'a1 -> 'a1 set -> Bool.bool **)
let set_member _ x s = matitabool_of_bool (Pset.mem x s)

(** val set_equal :
    ('a1 -> 'a1 -> Bool.bool) -> 'a1 set -> 'a1 set -> Bool.bool **)
let set_equal _ s1 s2 = matitabool_of_bool (Pset.equal s1 s2)

(** val set_diff : 'a1 set -> 'a1 set -> 'a1 set **)
let set_diff = Pset.diff

(** val set_singleton : 'a1 -> 'a1 set **)
let set_singleton = Pset.singleton

(** val set_from_list : 'a1 List.list -> 'a1 set **)
let set_from_list the_list =
  List.foldr Pset.add set_empty the_list

(** val set_subset :
    ('a1 -> 'a1 -> Bool.bool) -> 'a1 set -> 'a1 set -> Bool.bool **)
let set_subset _ s1 s2 = matitabool_of_bool (Pset.subset s1 s2)

(** val set_union : 'a1 set -> 'a1 set -> 'a1 set **)
let set_union = Pset.union