Module PropagationParameters

module PropagationParameters: sig .. end

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)