Module types 

Type probes using Solar’s type-checker results.

Functions

expr_is_address

True when expr’s type-checked static type is address / address payable.

is_address_type

True if vid is typed as address/address payable.

is_elementary

True if id’s elementary type matches the given ABI string.

receiver_contract_id

Static contract type of a method-call receiver or direct contract/library reference.

ty_contract_id

The contract a type denotes, through references and type(C).

ty_is_address

address / address payable after peeling references.

unique

The only element of iter, or None when it has zero or several.