__ESBMC_PyType Struct Reference

Type object representation for Python-like types. More...

#include <python_types.h>

Public Attributes
const char *	tp_name
size_t	tp_basicsize

Detailed Description

Type object representation for Python-like types.

Member Data Documentation

tp_basicsize

size_t __ESBMC_PyType::tp_basicsize

tp_name

const char* __ESBMC_PyType::tp_name

---

The documentation for this struct was generated from the following file:

• src/c2goto/library/python/python_types.h