RelationalConstraint.cs File Reference

Go to the source code of this file.

Classes
class	TypeSystem.Constraints.RelationalConstraint
	It represents constraints of the form: ret := op1 op op2 where op is an relational operator (== != >= <= > <) More...

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