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

Figure 11

Part of formal statement semantics of Lolisa, including environment and gas checking, contract, struct, modifier, and function call statements.