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