Using statements

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

Todo

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

Contents

• Using statements

  • Syntax

Syntax

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

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

See Identifiers for the id production.