strict digraph "tests/contract_testcases/substrate/functions/args_and_returns_03.sol" {
	oper [label="name: oper\ncontract: primitives\ntests/contract_testcases/substrate/functions/args_and_returns_03.sol:3:9-51\nvalue: add\nvalue: sub\nvalue: mul\nvalue: div\nvalue: mod\nvalue: pow"]
	contract [label="contract primitives\ntests/contract_testcases/substrate/functions/args_and_returns_03.sol:2:5-18:6"]
	op_i64 [label="function op_i64\ncontract: primitives\ntests/contract_testcases/substrate/functions/args_and_returns_03.sol:5:9-79\nsignature op_i64(uint8,int64,int64)\nvisibility public\nmutability pure"]
	parameters [label="parameters\nenum primitives.oper op\nint64 a\nint64 b"]
	returns [label="returns\nint64 "]
	diagnostic [label="found contract 'primitives'\nlevel Debug\ntests/contract_testcases/substrate/functions/args_and_returns_03.sol:2:5-18:6"]
	diagnostic_9 [label="missing return statement\nlevel Error\ntests/contract_testcases/substrate/functions/args_and_returns_03.sol:17:10"]
	enums -> oper
	contracts -> contract
	contract -> op_i64 [label="function"]
	op_i64 -> parameters [label="parameters"]
	op_i64 -> returns [label="returns"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_9 [label="Error"]
}
