Module `Flambda_to_fexpr_commons.Env`

type t

val create : unit -> t

val bind_var : t -> Flambda2_identifiers.Variable.t -> Fexpr.variable * t

val bind_bound_var : 
  t ->
  Flambda2_bound_identifiers.Bound_var.t ->
  Fexpr.variable * t

val bind_symbol : t -> Flambda2_identifiers.Symbol.t -> Fexpr.symbol * t

val bind_code_id : t -> Flambda2_identifiers.Code_id.t -> Fexpr.code_id * t

val bind_named_continuation : 
  t ->
  Flambda2_identifiers.Continuation.t ->
  Fexpr.continuation_id * t

val bind_special_continuation : 
  t ->
  Flambda2_identifiers.Continuation.t ->
  to_:Fexpr.special_continuation ->
  t

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

val find_var_exn : t -> Flambda2_identifiers.Variable.t -> Fexpr.variable

val find_symbol_exn : t -> Flambda2_identifiers.Symbol.t -> Fexpr.symbol

val find_code_id_exn : t -> Flambda2_identifiers.Code_id.t -> Fexpr.code_id

val find_continuation_exn : 
  t ->
  Flambda2_identifiers.Continuation.t ->
  Fexpr.continuation

val find_region_exn : t -> Flambda2_identifiers.Variable.t -> Fexpr.region

val translate_function_slot : 
  t ->
  Flambda2_identifiers.Function_slot.t ->
  Fexpr.function_slot

val translate_value_slot : 
  t ->
  Flambda2_identifiers.Value_slot.t ->
  Fexpr.value_slot

Module Flambda_to_fexpr_commons.Env