Module Wp_parameters.CoqLibs

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