Module Options

module Options: sig .. end

include Plugin.S
module Enabled: Parameter_sig.Bool 
module DoShift: Parameter_sig.Bool 
module DoDivMod: Parameter_sig.Bool 
module DoFloatToInt: Parameter_sig.Bool 
module DoInitialized: Parameter_sig.Bool 
module DoMemAccess: Parameter_sig.Bool 
module DoPointerCall: Parameter_sig.Bool 
module DoCalledPrecond: Parameter_sig.Bool 
module Trivial: Parameter_sig.Bool 
module Warn: Parameter_sig.Bool 
module FunctionSelection: Parameter_sig.Kernel_function_set 
val warn : ?source:Lexing.position ->
('a, Format.formatter, unit) Pervasives.format -> 'a