python_list::shallow_push_call Struct Reference

#include <python_list.h>

Public Attributes
const symbolt *	func
exprt	last_arg

Member Data Documentation

func

const symbolt* python_list::shallow_push_call::func

last_arg

exprt python_list::shallow_push_call::last_arg

---

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

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