Module Wp_parameters.WhyLibs

module WhyLibs: String_list(sig
val option_name : string
val arg_name : string
val help : string
end)