Analysis_and_optimization (stanc.Analysis_and

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

The API for a monotone framework, as described in 2.3-2.4 of Nielson, Nielson, and Hankin or 9.3 of Aho et al.. This gives a modular way of implementing many static analyses.

module Optimize : sig ... end

module Partial_evaluator : sig ... end

module Pedantic_analysis : sig ... end

module Pedantic_dist_warnings : sig ... end