Package de.monticore.types.check.types3wrapper

Class Summary

Class	Description
TypeCheck3AsIDerive	IDerive using the TypeCheck3.
TypeCheck3AsISynthesize	ISynthesize using the TypeCheck3.
TypeCheck3AsTypeCalculator	the TypeCalculator class using the TypeCheck3.