Module `Flambda2_nominal.Ids_for_export`

module Simple = Flambda2_identifiers.Int_ids.Simple

type t = private {

symbols : Flambda2_identifiers.Symbol.Set.t;
variables : Flambda2_identifiers.Variable.Set.t;
simples : Simple.Set.t;
consts : Flambda2_identifiers.Reg_width_const.Set.t;
code_ids : Flambda2_identifiers.Code_id.Set.t;
continuations : Flambda2_identifiers.Continuation.Set.t;

}

val empty : t

val create : 
  ?symbols:Flambda2_identifiers.Symbol.Set.t ->
  ?variables:Flambda2_identifiers.Variable.Set.t ->
  ?simples:Simple.Set.t ->
  ?consts:Flambda2_identifiers.Reg_width_const.Set.t ->
  ?code_ids:Flambda2_identifiers.Code_id.Set.t ->
  ?continuations:Flambda2_identifiers.Continuation.Set.t ->
  unit ->
  t

val singleton_variable : Flambda2_identifiers.Variable.t -> t

val singleton_code_id : Flambda2_identifiers.Code_id.t -> t

val singleton_continuation : Flambda2_identifiers.Continuation.t -> t

val singleton_symbol : Flambda2_identifiers.Symbol.t -> t

val from_simple : Simple.t -> t

val add_variable : t -> Flambda2_identifiers.Variable.t -> t

val add_symbol : t -> Flambda2_identifiers.Symbol.t -> t

val add_name : t -> Flambda2_identifiers.Name.t -> t

val add_const : t -> Flambda2_identifiers.Reg_width_const.t -> t

val add_simple : t -> Simple.t -> t

val add_code_id : t -> Flambda2_identifiers.Code_id.t -> t

val add_continuation : t -> Flambda2_identifiers.Continuation.t -> t

val union : t -> t -> t

val union_list : t list -> t

Module Flambda2_nominal.Ids_for_export

Module `Flambda2_nominal.Ids_for_export`