Module Rte_parameters


module Rte_parameters: sig .. end

val help_msg : string
include struct ... end
module Enabled: False(sig
val option_name : string
val help : string
val kind : [> `Tuning ]
end)
module DoUnsignedOverflow: False(sig
val option_name : string
val help : string
val kind : [> `Correctness ]
end)
module DoAll: True(sig
val option_name : string
val help : string
val kind : [> `Correctness ]
end)
module Print: False(sig
val option_name : string
val help : string
val kind : [> `Tuning ]
end)
module DoSignedOverflow: False(sig
val option_name : string
val help : string
val kind : [> `Correctness ]
end)
module DoDownCast: False(sig
val option_name : string
val help : string
val kind : [> `Correctness ]
end)
module DoDivMod: False(sig
val option_name : string
val help : string
val kind : [> `Correctness ]
end)
module DoMemAccess: False(sig
val option_name : string
val help : string
val kind : [> `Correctness ]
end)
module ConstFold: True(sig
val option_name : string
val help : string
val kind : [> `Tuning ]
end)
module DoCalledPrecond: False(sig
val option_name : string
val help : string
val kind : [> `Correctness ]
end)
module Warn: True(sig
val option_name : string
val help : string
val kind : [> `Tuning ]
end)
module FunctionSelection: StringSet(sig
val option_name : string
val arg_name : string
val help : string
val kind : [> `Correctness ]
end)