Module Options

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