commons/oset.mli

   1 class virtual ['a] oset :
   2 object ('o)
   3   inherit ['a] Ocollection.ocollection
   4
   5   method cardinal : int
   6
   7   method virtual inter : 'o -> 'o
   8   method virtual minus : 'o -> 'o
   9   method virtual union : 'o -> 'o
  10
  11   method is_singleton : bool
  12   method is_subset_of : 'o -> bool
  13   method is_equal : 'o -> bool
  14
  15   method virtual toset : 'd
  16   method tosetb : 'a Setb.t
  17   method toseti : Seti.seti
  18   method tosetpt : SetPt.t
  19 end
  20
  21 val ( $??$ )  : 'a -> < mem : 'a -> bool; .. > -> bool
  22 val ( $++$ )  : < union : 'a -> 'o; .. > -> 'a -> 'o
  23 val ( $**$ )  : < inter : 'a -> 'o; .. > -> 'a -> 'o
  24 val ( $--$ )  : < minus : 'a -> 'o; .. > -> 'a -> 'o
  25 val ( $<<=$ ) : < is_subset_of : 'a -> bool; .. > -> 'a -> bool
  26 val ( $==$ )  : < is_equal : 'a -> bool; .. > -> 'a -> bool
  27
  28 val mapo : ('a -> 'o) -> 'o oset -> 'a oset -> 'o oset