module Select: sig
.. end
module Calls: StringSet
(
sig
val option_name : string
val arg_name : string
val help : string
end
)
module Return: StringSet
(
sig
val option_name : string
val arg_name : string
val help : string
end
)
module Threat: StringSet
(
sig
val option_name : string
val arg_name : string
val help : string
end
)
module Assert: StringSet
(
sig
val option_name : string
val arg_name : string
val help : string
end
)
module LoopInv: StringSet
(
sig
val option_name : string
val arg_name : string
val help : string
end
)
module LoopVar: StringSet
(
sig
val option_name : string
val arg_name : string
val help : string
end
)
module Pragma: StringSet
(
sig
val option_name : string
val arg_name : string
val help : string
end
)
module RdAccess: StringSet
(
sig
val option_name : string
val arg_name : string
val help : string
end
)
module WrAccess: StringSet
(
sig
val option_name : string
val arg_name : string
val help : string
end
)
module Value: StringSet
(
sig
val option_name : string
val arg_name : string
val help : string
end
)