module Server_parameters:sig
..end
include Plugin.General_services
module Doc:Parameter_sig.String
module Polling:Parameter_sig.Int
module AutoLog:Parameter_sig.Bool
val wpage : warn_category
val wkind : warn_category
val wname : warn_category