Type Members

1.  case class AssignSubType(subType: Type, superType: Type) extends TypeConstraint with Product with Serializable
2.  case class CheckSubType(subType: Type, superType: Type) extends TypeConstraint with Product with Serializable
3.  case class DeclarationHasType(declaration: Declaration, _type: Type) extends TypeConstraint with Product with Serializable
4.  case class Generalization(generalized: Type, template: Type) extends TypeConstraint with Product with Serializable
5.  case class InstantiateDeclarationConstraint(_type: Type, instantiated: Declaration, template: Declaration) extends TypeConstraint with Product with Serializable
6.  case class Specialization(specialized: Type, template: Type, debugInfo: Any = null) extends TypeConstraint with Product with Serializable
7.  case class SuperType(target: TypeGraphNode) extends TypeGraphEdge with Product with Serializable
8.  trait TypeConstraint extends Constraint
9.  class TypeGraph extends AnyRef
10.  trait TypeGraphEdge extends AnyRef
11.  trait TypeGraphNode extends AnyRef
12.  case class TypeNode(_type: Type) extends TypeGraphNode with Product with Serializable
13.  case class TypesAreEqual(left: Type, right: Type) extends TypeConstraint with Product with Serializable