Module `Flambda2_simplify_shared`

module Are_rebuilding_terms : sig ... end

Flag indicating whether terms are being rebuilt during simplification. This is not just bool to enforce that the setting in DE is used everywhere.

module Call_site_inlining_decision_type : sig ... end

module Exported_offsets : sig ... end

module Inlining_helpers : sig ... end

module Inlining_report : sig ... end

Report inlining decisions

module Slot_offsets : sig ... end

Module Flambda2_simplify_shared

Module `Flambda2_simplify_shared`