Module `Tag.Set`

type elt = Flambda2_kinds.Tag.t

type t

val empty : Flambda2_kinds.Tag.Set.t

val is_empty : Flambda2_kinds.Tag.Set.t -> bool

val mem : Flambda2_kinds.Tag.Set.elt -> Flambda2_kinds.Tag.Set.t -> bool

val add : 
  Flambda2_kinds.Tag.Set.elt ->
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t

val singleton : Flambda2_kinds.Tag.Set.elt -> Flambda2_kinds.Tag.Set.t

val remove : 
  Flambda2_kinds.Tag.Set.elt ->
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t

val union : 
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t

val union_sharing : 
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t

union_sharing s1 s2 is union s1 s2, with maximal sharing of the result with s1.

val union_shared : 
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t

union_shared s1 s2 is union_sharing s1 s2, with a fast path for shared subsets of s1 and s2.

val inter : 
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t

val disjoint : Flambda2_kinds.Tag.Set.t -> Flambda2_kinds.Tag.Set.t -> bool

val diff : 
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t

val diff_sharing : 
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t

diff_sharing s1 s2 is diff s1 s2, with maximal sharing of the result with s1.

val diff_shared : 
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t

diff_shared s1 s2 is diff_sharing s1 s2, with a fast path for shared subsets of s1 and s2.

val compare : Flambda2_kinds.Tag.Set.t -> Flambda2_kinds.Tag.Set.t -> int

val equal : Flambda2_kinds.Tag.Set.t -> Flambda2_kinds.Tag.Set.t -> bool

val subset : Flambda2_kinds.Tag.Set.t -> Flambda2_kinds.Tag.Set.t -> bool

val iter : 
  (Flambda2_kinds.Tag.Set.elt -> unit) ->
  Flambda2_kinds.Tag.Set.t ->
  unit

val map : 
  (Flambda2_kinds.Tag.Set.elt -> Flambda2_kinds.Tag.Set.elt) ->
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t

val fold : 
  (Flambda2_kinds.Tag.Set.elt -> 'a -> 'a) ->
  Flambda2_kinds.Tag.Set.t ->
  'a ->
  'a

val for_all : 
  (Flambda2_kinds.Tag.Set.elt -> bool) ->
  Flambda2_kinds.Tag.Set.t ->
  bool

val exists : 
  (Flambda2_kinds.Tag.Set.elt -> bool) ->
  Flambda2_kinds.Tag.Set.t ->
  bool

val filter : 
  (Flambda2_kinds.Tag.Set.elt -> bool) ->
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t

val filter_map : 
  (Flambda2_kinds.Tag.Set.elt -> Flambda2_kinds.Tag.Set.elt option) ->
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t

val partition : 
  (Flambda2_kinds.Tag.Set.elt -> bool) ->
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t * Flambda2_kinds.Tag.Set.t

val cardinal : Flambda2_kinds.Tag.Set.t -> int

val elements : Flambda2_kinds.Tag.Set.t -> Flambda2_kinds.Tag.Set.elt list

val min_elt : Flambda2_kinds.Tag.Set.t -> Flambda2_kinds.Tag.Set.elt

val min_elt_opt : Flambda2_kinds.Tag.Set.t -> Flambda2_kinds.Tag.Set.elt option

val max_elt : Flambda2_kinds.Tag.Set.t -> Flambda2_kinds.Tag.Set.elt

val max_elt_opt : Flambda2_kinds.Tag.Set.t -> Flambda2_kinds.Tag.Set.elt option

val choose : Flambda2_kinds.Tag.Set.t -> Flambda2_kinds.Tag.Set.elt

val choose_opt : Flambda2_kinds.Tag.Set.t -> Flambda2_kinds.Tag.Set.elt option

val split : 
  Flambda2_kinds.Tag.Set.elt ->
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.t * bool * Flambda2_kinds.Tag.Set.t

val find : 
  Flambda2_kinds.Tag.Set.elt ->
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.elt

val of_list : Flambda2_kinds.Tag.Set.elt list -> Flambda2_kinds.Tag.Set.t

val to_seq : 
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.elt Stdlib.Seq.t

val print : Stdlib.Format.formatter -> Flambda2_kinds.Tag.Set.t -> unit

val to_string : Flambda2_kinds.Tag.Set.t -> string

val union_list : Flambda2_kinds.Tag.Set.t list -> Flambda2_kinds.Tag.Set.t

val get_singleton : 
  Flambda2_kinds.Tag.Set.t ->
  Flambda2_kinds.Tag.Set.elt option

Module Tag.Set