strict digraph "tests/contract_testcases/solana/type_decl_import.sol" {
	Addr [label="name:Addr ty:address payable\ntests/contract_testcases/solana/type_decl.sol:2:1-29"]
	Binary [label="name:Binary ty:bool\ncontract: x\ntests/contract_testcases/solana/type_decl.sol:5:2-21"]
	contract [label="contract d\ntests/contract_testcases/solana/type_decl_import.sol:3:1-10:2"]
	f [label="function f\ncontract: d\ntests/contract_testcases/solana/type_decl_import.sol:4:2-28\nsignature f(bytes32)\nvisibility public\nmutability nonpayable"]
	parameters [label="parameters\ncontract x c"]
	var_decl [label="variable decl usertype Addr a\ntests/contract_testcases/solana/type_decl_import.sol:5:3-41"]
	builtins [label="builtin UserTypeWrap\ntests/contract_testcases/solana/type_decl_import.sol:5:16-41"]
	builtins_9 [label="builtin Sender\ntests/contract_testcases/solana/type_decl_import.sol:5:30-40"]
	var_decl_10 [label="variable decl usertype x.Binary b\ntests/contract_testcases/solana/type_decl_import.sol:6:3-44"]
	builtins_11 [label="builtin UserTypeWrap\ntests/contract_testcases/solana/type_decl_import.sol:6:20-44"]
	bool_literal [label="bool literal: false\ntests/contract_testcases/solana/type_decl_import.sol:6:38-43"]
	expr [label="expression\ntests/contract_testcases/solana/type_decl_import.sol:8:3-12"]
	call_external_function [label="call external function\ntests/contract_testcases/solana/type_decl_import.sol:8:3-12"]
	external_function [label="function(usertype Addr,usertype x.Binary) external returns (void)\nx.f\ntests/contract_testcases/solana/type_decl_import.sol:8:3-12"]
	variable [label="variable: c\ncontract x\ntests/contract_testcases/solana/type_decl_import.sol:8:3-4"]
	variable_17 [label="variable: a\nusertype Addr\ntests/contract_testcases/solana/type_decl_import.sol:8:7-8"]
	variable_18 [label="variable: b\nusertype x.Binary\ntests/contract_testcases/solana/type_decl_import.sol:8:10-11"]
	contract_19 [label="contract x\ntests/contract_testcases/solana/type_decl.sol:4:1-8:2"]
	f_20 [label="function f\ncontract: x\ntests/contract_testcases/solana/type_decl.sol:7:2-33\nsignature f(bytes32,bool)\nvisibility public\nmutability nonpayable"]
	parameters_21 [label="parameters\nusertype Addr \nusertype x.Binary "]
	diagnostic [label="found contract 'd'\nlevel Debug\ntests/contract_testcases/solana/type_decl_import.sol:3:1-10:2"]
	diagnostic_24 [label="found contract 'x'\nlevel Debug\ntests/contract_testcases/solana/type_decl.sol:4:1-8:2"]
	diagnostic_25 [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/solana/type_decl.sol:7:2-33"]
	types -> Addr
	types -> Binary
	contracts -> contract
	contract -> f [label="function"]
	f -> parameters [label="parameters"]
	f -> var_decl [label="body"]
	var_decl -> builtins [label="init"]
	builtins -> builtins_9 [label="arg #0"]
	var_decl -> var_decl_10 [label="next"]
	var_decl_10 -> builtins_11 [label="init"]
	builtins_11 -> bool_literal [label="arg #0"]
	var_decl_10 -> expr [label="next"]
	expr -> call_external_function [label="expr"]
	call_external_function -> external_function [label="function"]
	external_function -> variable [label="address"]
	call_external_function -> variable_17 [label="arg #0"]
	call_external_function -> variable_18 [label="arg #1"]
	contracts -> contract_19
	contract_19 -> f_20 [label="function"]
	f_20 -> parameters_21 [label="parameters"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_24 [label="Debug"]
	diagnostics -> diagnostic_25 [label="Warning"]
}
