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
)