Module Options

module Options: sig .. end

val help_msg : string
include struct ... end
module Enabled: False(sig
val option_name : string
val help : string
end)
module DoDivMod: True(sig
val option_name : string
val help : string
end)
module DoShift: True(sig
val option_name : string
val help : string
end)
module DoFloatToInt: True(sig
val option_name : string
val help : string
end)
module DoMemAccess: True(sig
val option_name : string
val help : string
end)
module DoAll: True(sig
val option_name : string
val help : string
end)
module Trivial: False(sig
val option_name : string
val help : string
end)
module DoCalledPrecond: False(sig
val option_name : string
val help : string
end)
module Warn: True(sig
val option_name : string
val help : string
end)
module FunctionSelection: StringSet(sig
val option_name : string
val arg_name : string
val help : string
end)
val warn : ?source:Lexing.position ->
('a, Format.formatter, unit) Pervasives.format -> 'a