_ESBMC_Mapping_fast Struct Reference

Public Attributes
uint256_t	key: 256
void *	value
struct _ESBMC_Mapping_fast *	next

Member Data Documentation

key

uint256_t _ESBMC_Mapping_fast::key

next

struct _ESBMC_Mapping_fast* _ESBMC_Mapping_fast::next

value

void* _ESBMC_Mapping_fast::value

---

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

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