Module `Flambda2_simplify.Downwards_env`

type resolver =
  Compilation_unit.t ->
  Flambda2_types.Typing_env.Serializable.t option

type get_imported_names = unit -> Flambda2_identifiers.Name.Set.t

type get_imported_code = unit -> Flambda2_cmx.Exported_code.t

type t

val print : 
  Stdlib.Format.formatter ->
  Flambda2_simplify.Downwards_env.t ->
  unit

Print a human-readable version of the given environment.

val create : 
  round:int ->
  machine_width:Target_system.Machine_width.t ->
  resolver:Flambda2_simplify.Downwards_env.resolver ->
  get_imported_names:Flambda2_simplify.Downwards_env.get_imported_names ->
  get_imported_code:Flambda2_simplify.Downwards_env.get_imported_code ->
  propagating_float_consts:bool ->
  unit_toplevel_exn_continuation:Flambda2_identifiers.Continuation.t ->
  unit_toplevel_return_continuation:Flambda2_identifiers.Continuation.t ->
  toplevel_my_region:Flambda2_identifiers.Variable.t ->
  toplevel_my_ghost_region:Flambda2_identifiers.Variable.t ->
  Flambda2_simplify.Downwards_env.t

Create a new environment, marked as being at the toplevel of a compilation unit.

val all_code : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_terms.Code.t Flambda2_identifiers.Code_id.Map.t

val machine_width : 
  Flambda2_simplify.Downwards_env.t ->
  Target_system.Machine_width.t

val resolver : 
  Flambda2_simplify.Downwards_env.t ->
  Compilation_unit.t ->
  Flambda2_types.Typing_env.Serializable.t option

val propagating_float_consts : Flambda2_simplify.Downwards_env.t -> bool

val at_unit_toplevel : Flambda2_simplify.Downwards_env.t -> bool

val set_at_unit_toplevel_state : 
  Flambda2_simplify.Downwards_env.t ->
  bool ->
  Flambda2_simplify.Downwards_env.t

val is_defined_at_toplevel : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_identifiers.Variable.t ->
  bool

val add_symbol_projection : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_identifiers.Variable.t ->
  Flambda2_term_basics.Symbol_projection.t ->
  Flambda2_simplify.Downwards_env.t

val find_symbol_projection : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_identifiers.Variable.t ->
  Flambda2_term_basics.Symbol_projection.t option

val unit_toplevel_return_continuation : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_identifiers.Continuation.t

val unit_toplevel_exn_continuation : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_identifiers.Continuation.t

val increment_continuation_scope : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Downwards_env.t

val bump_current_level_scope : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Downwards_env.t

val get_continuation_scope : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_term_basics.Scope.t

val typing_env : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_types.Typing_env.t

val define_continuations : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_identifiers.Continuation.t list ->
  Flambda2_simplify.Downwards_env.t

val define_variable : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_bound_identifiers.Bound_var.t ->
  Flambda2_kinds.Flambda_kind.t ->
  Flambda2_simplify.Downwards_env.t

val define_extra_variable : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_bound_identifiers.Bound_var.t ->
  Flambda2_kinds.Flambda_kind.t ->
  Flambda2_simplify.Downwards_env.t

val add_name : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_bound_identifiers.Bound_name.t ->
  Flambda2_types.t ->
  Flambda2_simplify.Downwards_env.t

val add_variable : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_bound_identifiers.Bound_var.t ->
  Flambda2_types.t ->
  Flambda2_simplify.Downwards_env.t

val add_equation_on_variable : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_identifiers.Variable.t ->
  Flambda2_types.t ->
  Flambda2_simplify.Downwards_env.t

val mem_variable : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_identifiers.Variable.t ->
  bool

val add_symbol : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_identifiers.Symbol.t ->
  Flambda2_types.t ->
  Flambda2_simplify.Downwards_env.t

val define_symbol : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_identifiers.Symbol.t ->
  Flambda2_kinds.Flambda_kind.t ->
  Flambda2_simplify.Downwards_env.t

val mem_symbol : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_identifiers.Symbol.t ->
  bool

val find_symbol : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_identifiers.Symbol.t ->
  Flambda2_types.t

val add_equation_on_symbol : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_identifiers.Symbol.t ->
  Flambda2_types.t ->
  Flambda2_simplify.Downwards_env.t

val define_name : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_bound_identifiers.Bound_name.t ->
  Flambda2_kinds.Flambda_kind.t ->
  Flambda2_simplify.Downwards_env.t

val define_name_if_undefined : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_bound_identifiers.Bound_name.t ->
  Flambda2_kinds.Flambda_kind.t ->
  Flambda2_simplify.Downwards_env.t

val add_equation_on_name : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_identifiers.Name.t ->
  Flambda2_types.t ->
  Flambda2_simplify.Downwards_env.t

val define_parameters : 
  extra:bool ->
  Flambda2_simplify.Downwards_env.t ->
  params:Flambda2_bound_identifiers.Bound_parameters.t ->
  Flambda2_simplify.Downwards_env.t

val add_parameters : 
  extra:bool ->
  ?name_mode:Flambda2_nominal.Name_mode.t ->
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_bound_identifiers.Bound_parameters.t ->
  param_types:Flambda2_types.t list ->
  Flambda2_simplify.Downwards_env.t

val add_parameters_with_unknown_types : 
  extra:bool ->
  ?alloc_modes:Flambda2_term_basics.Alloc_mode.For_types.t list ->
  ?name_mode:Flambda2_nominal.Name_mode.t ->
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_bound_identifiers.Bound_parameters.t ->
  Flambda2_simplify.Downwards_env.t

val mark_parameters_as_toplevel : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_bound_identifiers.Bound_parameters.t ->
  Flambda2_simplify.Downwards_env.t

val extend_typing_environment : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_types.Typing_env_extension.With_extra_variables.t ->
  Flambda2_simplify.Downwards_env.t

val with_typing_env : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_types.Typing_env.t ->
  Flambda2_simplify.Downwards_env.t

val map_typing_env : 
  Flambda2_simplify.Downwards_env.t ->
  f:(Flambda2_types.Typing_env.t -> Flambda2_types.Typing_env.t) ->
  Flambda2_simplify.Downwards_env.t

val check_simple_is_bound : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_term_basics.Simple.t ->
  unit

val define_code : 
  Flambda2_simplify.Downwards_env.t ->
  code_id:Flambda2_identifiers.Code_id.t ->
  code:Flambda2_terms.Code.t ->
  Flambda2_simplify.Downwards_env.t

val mem_code : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_identifiers.Code_id.t ->
  bool

val find_code_exn : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_identifiers.Code_id.t ->
  Flambda2_terms.Code_or_metadata.t

This function raises if the code ID is unbound.

val set_inlined_debuginfo : 
  Flambda2_simplify.Downwards_env.t ->
  from:Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Downwards_env.t

val merge_inlined_debuginfo : 
  Flambda2_simplify.Downwards_env.t ->
  from_apply_expr:Flambda2_term_basics.Inlined_debuginfo.t ->
  Flambda2_simplify.Downwards_env.t

val add_inlined_debuginfo : 
  Flambda2_simplify.Downwards_env.t ->
  Debuginfo.t ->
  Debuginfo.t

val round : Flambda2_simplify.Downwards_env.t -> int

val set_inlining_state : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_terms.Inlining_state.t ->
  Flambda2_simplify.Downwards_env.t

val get_inlining_state : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_terms.Inlining_state.t

val add_cse : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_terms.Flambda_primitive.Eligible_for_cse.t ->
  bound_to:Flambda2_term_basics.Simple.t ->
  name_mode:Flambda2_nominal.Name_mode.t ->
  Flambda2_simplify.Downwards_env.t

val find_cse : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_terms.Flambda_primitive.Eligible_for_cse.t ->
  Flambda2_term_basics.Simple.t option

val find_comparison_result : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_identifiers.Variable.t ->
  Flambda2_simplify.Comparison_result.t option

val cse : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Common_subexpression_elimination.t

val comparison_results : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Comparison_result.t Flambda2_identifiers.Variable.Map.t

val with_cse : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Common_subexpression_elimination.t ->
  Flambda2_simplify.Downwards_env.t

module Disable_inlining_reason : sig ... end

val set_do_not_rebuild_terms_and_disable_inlining : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Downwards_env.Disable_inlining_reason.t ->
  Flambda2_simplify.Downwards_env.t

val set_disable_inlining : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Downwards_env.Disable_inlining_reason.t ->
  Flambda2_simplify.Downwards_env.t

module Disable_inlining : sig ... end

val disable_inlining : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Downwards_env.Disable_inlining.t

val enter_set_of_closures : 
  Flambda2_simplify.Downwards_env.t ->
  in_stub:bool ->
  Flambda2_simplify.Downwards_env.t

val set_rebuild_terms : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Downwards_env.t

val are_rebuilding_terms : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify_shared.Are_rebuilding_terms.t

val enter_closure : 
  Flambda2_identifiers.Code_id.t ->
  return_continuation:Flambda2_identifiers.Continuation.t ->
  exn_continuation:Flambda2_identifiers.Continuation.t ->
  my_closure:Flambda2_identifiers.Variable.t ->
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Downwards_env.t

val closure_info : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Closure_info.t

val inlining_arguments : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_terms.Inlining_arguments.t

val set_inlining_arguments : 
  Flambda2_terms.Inlining_arguments.t ->
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Downwards_env.t

val enter_inlined_apply : 
  called_code:Flambda2_terms.Code.t ->
  apply:Flambda2_terms.Flambda.Import.Apply.t ->
  was_inline_always:bool ->
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Downwards_env.t

val generate_phantom_lets : Flambda2_simplify.Downwards_env.t -> bool

val inlining_history_tracker : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_terms.Inlining_history.Tracker.t

val set_inlining_history_tracker : 
  Flambda2_terms.Inlining_history.Tracker.t ->
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Downwards_env.t

val relative_history : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_terms.Inlining_history.Relative.t

val loopify_state : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Loopify_state.t

val set_loopify_state : 
  Flambda2_simplify.Loopify_state.t ->
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Downwards_env.t

val with_code_age_relation : 
  Flambda2_types.Code_age_relation.t ->
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Downwards_env.t

val defined_variables_by_scope : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Lifted_cont_params.t list

val enter_continuation_handler : 
  Flambda2_simplify.Lifted_cont_params.t ->
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Downwards_env.t

val variables_defined_in_current_continuation : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Lifted_cont_params.t

val cost_of_lifting_continuations_out_of_current_one : 
  Flambda2_simplify.Downwards_env.t ->
  int

val add_lifting_cost : 
  int ->
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Downwards_env.t

val must_inline : Flambda2_simplify.Downwards_env.t -> bool

val replay_history : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Replay_history.t

val with_replay_history : 
  (Flambda2_simplify.Replay_history.t * bool) option ->
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Downwards_env.t

val with_join_analysis : 
  Flambda2_identifiers.Apply_cont_rewrite_id.t Flambda2_types.Join_analysis.t
    option ->
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Downwards_env.t

val join_analysis : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_identifiers.Apply_cont_rewrite_id.t Flambda2_types.Join_analysis.t
    option

val map_specialization_cost : 
  f:
    (Flambda2_simplify.Specialization_cost.t ->
      Flambda2_simplify.Specialization_cost.t) ->
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Downwards_env.t

val specialization_cost : 
  Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Specialization_cost.t

val denv_for_lifted_continuation : 
  denv_for_join:Flambda2_simplify.Downwards_env.t ->
  denv:Flambda2_simplify.Downwards_env.t ->
  Flambda2_simplify.Downwards_env.t

Module Flambda2_simplify.Downwards_env

Module `Flambda2_simplify.Downwards_env`