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