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 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