Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language in Mathematical Tool Coq

Figure 12

Address type declaration in Solidity and its equivalent as a special struct type in Lolisa syntax.