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