Module Value_parameters.ObviouslyTerminatesAll

module ObviouslyTerminatesAll: False(sig
val option_name : string
val help : string
end)