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