Package de.monticore.types3.generics.bounds

Class Summary

Class	Description
Bound	Bounds limit the range of types allowed for the instantiation of inference variables.
CaptureBound	A bound representing that a given type will be capture converted later.
SubTypingBound
TypeCompatibilityBound	Specifies, that either A) the inference variable is compatible to the SymTypeExpression, or B) the specified SymTypeExpression is compatible to inference variable.
TypeEqualityBound	States that an inference variable equals another type.
UnsatisfiableBound