BytesPool Struct Reference

Public Attributes
unsigned char *	pool
size_t	pool_cursor

Member Data Documentation

pool

unsigned char* BytesPool::pool

pool_cursor

size_t BytesPool::pool_cursor

---

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

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