module Options:sig
..end
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