PromotionConstraint.cs File Reference

Go to the source code of this file.

Classes
class	TypeSystem.Constraints.PromotionConstraint
	It represents constraints of the form op1 <= op2 (op1 is a subtype of op2) More...

Namespaces
package	TypeSystem.Constraints
	Constraints used in by the type system.