Module `Scope.Set`

type elt = Flambda2_term_basics.Scope.t

type t

val empty : Flambda2_term_basics.Scope.Set.t

val is_empty : Flambda2_term_basics.Scope.Set.t -> bool

val mem : 
  Flambda2_term_basics.Scope.Set.elt ->
  Flambda2_term_basics.Scope.Set.t ->
  bool

val add : 
  Flambda2_term_basics.Scope.Set.elt ->
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t

val singleton : 
  Flambda2_term_basics.Scope.Set.elt ->
  Flambda2_term_basics.Scope.Set.t

val remove : 
  Flambda2_term_basics.Scope.Set.elt ->
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t

val union : 
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t

val union_sharing : 
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t

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

val union_shared : 
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.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_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t

val disjoint : 
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t ->
  bool

val diff : 
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t

val diff_sharing : 
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t

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

val diff_shared : 
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.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_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t ->
  int

val equal : 
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t ->
  bool

val subset : 
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t ->
  bool

val iter : 
  (Flambda2_term_basics.Scope.Set.elt -> unit) ->
  Flambda2_term_basics.Scope.Set.t ->
  unit

val map : 
  (Flambda2_term_basics.Scope.Set.elt -> Flambda2_term_basics.Scope.Set.elt) ->
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t

val fold : 
  (Flambda2_term_basics.Scope.Set.elt -> 'a -> 'a) ->
  Flambda2_term_basics.Scope.Set.t ->
  'a ->
  'a

val for_all : 
  (Flambda2_term_basics.Scope.Set.elt -> bool) ->
  Flambda2_term_basics.Scope.Set.t ->
  bool

val exists : 
  (Flambda2_term_basics.Scope.Set.elt -> bool) ->
  Flambda2_term_basics.Scope.Set.t ->
  bool

val filter : 
  (Flambda2_term_basics.Scope.Set.elt -> bool) ->
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t

val filter_map : 
  (Flambda2_term_basics.Scope.Set.elt ->
    Flambda2_term_basics.Scope.Set.elt option) ->
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t

val partition : 
  (Flambda2_term_basics.Scope.Set.elt -> bool) ->
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t * Flambda2_term_basics.Scope.Set.t

val cardinal : Flambda2_term_basics.Scope.Set.t -> int

val elements : 
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.elt list

val min_elt : 
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.elt

val min_elt_opt : 
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.elt option

val max_elt : 
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.elt

val max_elt_opt : 
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.elt option

val choose : 
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.elt

val choose_opt : 
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.elt option

val split : 
  Flambda2_term_basics.Scope.Set.elt ->
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.t * bool * Flambda2_term_basics.Scope.Set.t

val find : 
  Flambda2_term_basics.Scope.Set.elt ->
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.elt

val of_list : 
  Flambda2_term_basics.Scope.Set.elt list ->
  Flambda2_term_basics.Scope.Set.t

val to_seq : 
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.elt Stdlib.Seq.t

val print : Stdlib.Format.formatter -> Flambda2_term_basics.Scope.Set.t -> unit

val to_string : Flambda2_term_basics.Scope.Set.t -> string

val union_list : 
  Flambda2_term_basics.Scope.Set.t list ->
  Flambda2_term_basics.Scope.Set.t

val get_singleton : 
  Flambda2_term_basics.Scope.Set.t ->
  Flambda2_term_basics.Scope.Set.elt option

Module Scope.Set

Module `Scope.Set`