extracted/untrusted/pset.mli

   1 type 'x set
   2
   3 val empty : 'a1 set
   4
   5 val is_empty: 'a1 set -> bool
   6
   7 val mem : 'a1 -> 'a1 set -> bool
   8
   9 val add : 'a1 -> 'a1 set -> 'a1 set
  10
  11 val remove: 'a1 -> 'a1 set -> 'a1 set
  12
  13 val cardinal: 'a1 set -> int
  14
  15 val fold: ('a1 -> 'a -> 'a) -> 'a1 set -> 'a -> 'a
  16
  17 val iter: ('a1 -> unit) -> 'a1 set -> unit
  18
  19 val equal : 'a1 set -> 'a1 set -> bool
  20
  21 val diff : 'a1 set -> 'a1 set -> 'a1 set
  22
  23 val singleton : 'a1 -> 'a1 set
  24
  25 val subset : 'a1 set -> 'a1 set -> bool
  26
  27 val union : 'a1 set -> 'a1 set -> 'a1 set