Using statements

The using statement introduces a variable that can be used to call methods on contracts other than the main contract being verified.


The documentation for this feature is incomplete. See the old documentation for more information.


The syntax for using statements is given by the following EBNF grammar:

using ::= "using" id "as" id

See Identifiers for the id production.