mapping_t Struct Reference

Public Attributes
struct _ESBMC_Mapping *	base
address_t	addr: 160

Member Data Documentation

addr

address_t mapping_t::addr

base

struct _ESBMC_Mapping* mapping_t::base

---

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

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