Module `Flambda2_reaper`

module Analysis : sig ... end

module Cofield : sig ... end

module Datalog_helpers : sig ... end

module Dot_printer : sig ... end

module Field : sig ... end

module Global_flow_graph : sig ... end

module Points_to_analysis : sig ... end

module Reaper : sig ... end

module Rebuild : sig ... end

module Rebuilt_expr : sig ... end

module Rev_expr : sig ... end

module Traverse : sig ... end

module Traverse_acc : sig ... end

Accumulator used during the downward traversal of the Flambda 2 term to build the global flow graph for the reaper.

module Traverse_env : sig ... end

Environment threaded through the downward traversal of a function body. Tracks the context needed to register dependencies at each expression.

module Types_rewriter : sig ... end

module Unboxing_analysis : sig ... end

Module Flambda2_reaper