The StaDyn Programming Language
Source code documentation of StaDyn, a hybrid static and dynamic typing language.
UnifyOperation.cs File Reference

Go to the source code of this file.

Classes

class  TypeSystem.Operations.UnifyOperation
 

Namespaces

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