strict digraph "tests/contract_testcases/substrate/expressions/power_02.sol" {
	contract [label="contract test\ntests/contract_testcases/substrate/expressions/power_02.sol:1:1-5:9"]
	power [label="function power\ncontract: test\ntests/contract_testcases/substrate/expressions/power_02.sol:2:13-73\nsignature power(int64,int64)\nvisibility public\nmutability nonpayable"]
	parameters [label="parameters\nint64 base\nint64 exp"]
	returns [label="returns\nint64 "]
	diagnostic [label="found contract 'test'\nlevel Debug\ntests/contract_testcases/substrate/expressions/power_02.sol:1:1-5:9"]
	diagnostic_7 [label="exponation (**) is not allowed with signed types\nlevel Error\ntests/contract_testcases/substrate/expressions/power_02.sol:3:24-35"]
	contracts -> contract
	contract -> power [label="function"]
	power -> parameters [label="parameters"]
	power -> returns [label="returns"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_7 [label="Error"]
}
