Collects all types used during the validation process. The validation process requires us to compare our inferred types with our declared types.
All grammars involved in the validation process
Optional
Additional documents so that imports can be resolved as necessary
Collects all types used during the validation process. The validation process requires us to compare our inferred types with our declared types.