_ESBMC_Mapping Struct Reference

Public Attributes
address_t	addr: 160
uint256_t	key: 256
void *	value
struct _ESBMC_Mapping *	next

Member Data Documentation

addr

address_t _ESBMC_Mapping::addr

key

uint256_t _ESBMC_Mapping::key

next

struct _ESBMC_Mapping* _ESBMC_Mapping::next

value

void* _ESBMC_Mapping::value

---

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

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