sig
  module Self : Plugin.General_services
  module Enabled : Parameter_sig.Bool
  module Strict : Parameter_sig.Bool
  val wkey_format : Self.warn_category
  val wkey_libc : Self.warn_category
  val wkey_libc_framac : Self.warn_category
  val wkey_prototype : Self.warn_category
  val wkey_typing : Self.warn_category
end