This is the complete list of members for __ESBMC_PyType, including all inherited members.

tp_basicsize	__ESBMC_PyType
tp_name	__ESBMC_PyType