module PropagationParameters: sig .. end
sig
end
include struct ... end
module SemanticConstFolding: False(sigval option_name : stringval help : stringval kind : [> `Tuning ]end)
False
(
val option_name : string
string
val help : string
val kind : [> `Tuning ]
[> `Tuning ]
)
module SemanticConstFold: StringSet(sigval option_name : stringval arg_name : stringval help : stringval kind : [> `Tuning ]end)
StringSet
val arg_name : string
module CastIntro: False(sigval option_name : stringval help : stringval kind : [> `Tuning ]end)