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 : Flambda2_nominal.Ids_for_export.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 ->
  Flambda2_nominal.Ids_for_export.t

val singleton_variable : 
  Flambda2_identifiers.Variable.t ->
  Flambda2_nominal.Ids_for_export.t

val singleton_code_id : 
  Flambda2_identifiers.Code_id.t ->
  Flambda2_nominal.Ids_for_export.t

val singleton_continuation : 
  Flambda2_identifiers.Continuation.t ->
  Flambda2_nominal.Ids_for_export.t

val singleton_symbol : 
  Flambda2_identifiers.Symbol.t ->
  Flambda2_nominal.Ids_for_export.t

val from_simple : Simple.t -> Flambda2_nominal.Ids_for_export.t

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

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

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

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

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

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

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

val union : 
  Flambda2_nominal.Ids_for_export.t ->
  Flambda2_nominal.Ids_for_export.t ->
  Flambda2_nominal.Ids_for_export.t

val union_list : 
  Flambda2_nominal.Ids_for_export.t list ->
  Flambda2_nominal.Ids_for_export.t

Module Flambda2_nominal.Ids_for_export

Module `Flambda2_nominal.Ids_for_export`