Module PropagationParameters

module PropagationParameters: sig .. end
Constant Propagation

module SemanticConstFolding: Parameter_sig.Bool 
module SemanticConstFold: Parameter_sig.Fundec_set 
module CastIntro: Parameter_sig.Bool 
module ExpandLogicContext: Parameter_sig.Bool 
module Project_name: Parameter_sig.String 
include Log.Messages