module Select:sig
..end
module Calls:StringSet
(
sig
end
)
module Return:StringSet
(
sig
end
)
module Threat:StringSet
(
sig
end
)
module Assert:StringSet
(
sig
end
)
module LoopInv:StringSet
(
sig
end
)
module LoopVar:StringSet
(
sig
end
)
module Pragma:StringSet
(
sig
end
)
module RdAccess:StringSet
(
sig
val kind :[> `Correctness ]
val module_name :string
val option_name :string
val arg_name :string
val help :string
end
)
module WrAccess:StringSet
(
sig
val kind :[> `Correctness ]
val module_name :string
val option_name :string
val arg_name :string
val help :string
end
)
module Value:StringSet
(
sig
val kind :[> `Correctness ]
val module_name :string
val option_name :string
val arg_name :string
val help :string
end
)