Steps for using the simulation:

1. Click on the Type Expressions tab.
2. Enter a type expression as you want to see the simplified type expression for and click on submit. Valid data-types as per the simulation are defined as ['int', 'double', 'long', 'float', 'bool', 'string', 'char', 'void']
3. Click on the Type Equivalence tab.
4. Enter the type expressions you want you check for equivalence in the placeholders given. Follow the same guidelines as the type expression tab.
5. Click on submit to view the differences and check equivalence.
6. Click on the Type Checking & Conversion tab.
7. Enter the types for the given line of code in the placeholders.
8. Click on submit to view the Syntax Tree and the Annotated Syntax Tree.

---