Module `Analysis_and_optimization`

module Dataflow_types : sig ... end

module Dataflow_utils : sig ... end

module Debug_data_generation : sig ... end

module Dependence_analysis : sig ... end

~~~~~ TODO ~~~~~

module Factor_graph : sig ... end

module Memory_patterns : sig ... end

module Mir_utils : sig ... end

module Monotone_framework : sig ... end

The common elements of a monotone framework

module Monotone_framework_sigs : sig ... end

module Optimize : sig ... end

module Partial_evaluator : sig ... end

module Pedantic_analysis : sig ... end

module Pedantic_dist_warnings : sig ... end