list_elem_info Struct Reference

#include <python_list.h>

Public Attributes
symbolt *	elem_type_sym
symbolt *	elem_symbol
exprt	elem_size
locationt	location

Member Data Documentation

elem_size

exprt list_elem_info::elem_size

elem_symbol

symbolt* list_elem_info::elem_symbol

elem_type_sym

symbolt* list_elem_info::elem_type_sym

location

locationt list_elem_info::location

---

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

• src/python-frontend/python-list/python_list.h