Module PropagationParameters

module PropagationParameters: sig .. end
Constant Propagation

include struct ... end
module SemanticConstFolding: False(sig
val option_name : string
val help : string
end)
module SemanticConstFold: Fundec_set(sig
val option_name : string
val arg_name : string
val help : string
end)
module CastIntro: False(sig
val option_name : string
val help : string
end)
module ExpandLogicContext: False(sig
val option_name : string
val help : string
end)
module Project_name: String(sig
val option_name : string
val default : string
val arg_name : string
val help : string
end)