Implementation

• Auditor needs to see:

  • the object expression
  • its syntactic environment
    • the declarations of all free names
    • each of their syntactic environments
      • and so on...