extracted/untrusted/set_adt.mli

   1 type 'x set
   2
   3 val set_empty : 'a1 set
   4
   5 val set_member : ('a1 -> 'a1 -> Bool.bool) -> 'a1 -> 'a1 set -> Bool.bool
   6
   7 val set_equal :
   8   ('a1 -> 'a1 -> Bool.bool) -> 'a1 set -> 'a1 set -> Bool.bool
   9
  10 val set_diff : 'a1 set -> 'a1 set -> 'a1 set
  11
  12 val set_singleton : 'a1 -> 'a1 set
  13
  14 val set_from_list : 'a1 List.list -> 'a1 set
  15
  16 val set_subset :
  17   ('a1 -> 'a1 -> Bool.bool) -> 'a1 set -> 'a1 set -> Bool.bool
  18
  19 val set_union : 'a1 set -> 'a1 set -> 'a1 set