__ESBMC_pointer_cell Struct Reference

Public Attributes
void *	ptr

Member Data Documentation

ptr

void* __ESBMC_pointer_cell::ptr

---

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

• src/c2goto/library/python/list.c