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: StringSet(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)