Package de.monticore.types3.generics.bounds
package de.monticore.types3.generics.bounds
-
ClassesClassDescriptionBounds limit the range of types allowed for the instantiation of inference variables.A bound representing that a given type will be capture converted later.Specifies, that either A) the inference variable is compatible to the SymTypeExpression, or B) the specified SymTypeExpression is compatible to inference variable.States that an inference variable equals another type.