Using Statements

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

Examples

• Accessing additional contracts from CVL

• An example for using

Syntax

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

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

See Identifiers for the id production.