ConstrainedDot.cs File Reference

Go to the source code of this file.

Classes
class	TypeSystem.Operations.ConstrainedDotOperation
	This class generatess constraits, and raises error if something is wrong. Implements a double dispatcher pattern Implements a factory method. Role: Product More...

Namespaces
package	TypeSystem.Operations
	Operations encapsulate each type rule that can be included as a constraint in a method type.