xpredicate_constructors: Dict[ str, Callable[[Tuple["InterfaceDictionary", int, List[str], List[int]]], XPredicate], ] = { "ab": lambda x: XP.XAllocationBase(*x), "bw": lambda x: XP.XBlockWrite(*x), "b": lambda x: XP.XBuffer(*x), "c": lambda x: XP.XConstTerm(*x), "cr": lambda x: XP.XControlledResource(*x), "f": lambda x: XP.XFalse(*x), "fi": lambda x: XP.XFormattedInput(*x), "fr": lambda x: XP.XFreed(*x), "fn": lambda x: XP.XFunctional(*x), "ga": lambda x: XP.XGlobalAddress(*x), "ha": lambda x: XP.XHeapAddress(*x), "i": lambda x: XP.XInitialized(*x), "ir": lambda x: XP.XInitializedRange(*x), "iv": lambda x: XP.XInvalidated(*x), "ifs": lambda x: XP.XInputFormatString(*x), "nm": lambda x: XP.XNewMemory(*x), "no": lambda x: XP.XNoOverlap(*x), "nn": lambda x: XP.XNotNull(*x), "nng": lambda x: XP.XNonNegative(*x), "nz": lambda x: XP.XNotZero(*x), "null": lambda x: XP.XNull(*x), "nt": lambda x: XP.XNullTerminated(*x), "ofs": lambda x: XP.XOutputFormatString(*x), "pr": lambda x: XP.XPreservesMemory(*x), "pv": lambda x: XP.XPreservesValue(*x), "prm": lambda x: XP.XPreservesAllMemory(*x), "prmx": lambda x: XP.XPreservesAllMemoryX(*x),
def f_initialized(index: int, key: object) -> XP.XInitialized: return XP.XInitialized(self, index, tags, args)
def f(index, key): return XP.XInitialized(self, index, tags, args)