sig
module Calls : Parameter_sig.String_set
module Return : Parameter_sig.String_set
module Threat : Parameter_sig.String_set
module Assert : Parameter_sig.String_set
module LoopInv : Parameter_sig.String_set
module LoopVar : Parameter_sig.String_set
module Pragma : Parameter_sig.String_set
module RdAccess : Parameter_sig.String_set
module WrAccess : Parameter_sig.String_set
module Value : Parameter_sig.String_set
end