python_list::list_eq_target Struct Reference

#include <python_list.h>

Public Attributes
const symbolt *	func
std::vector< exprt >	trailing_args

Member Data Documentation

func

const symbolt* python_list::list_eq_target::func

trailing_args

std::vector<exprt> python_list::list_eq_target::trailing_args

---

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

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