mapping_t_fast Struct Reference

Public Attributes
struct _ESBMC_Mapping_fast *	base

Member Data Documentation

base

struct _ESBMC_Mapping_fast* mapping_t_fast::base

---

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

• src/c2goto/library/solidity/solidity_mapping.c