The StaDyn Programming Language
Source code documentation of StaDyn, a hybrid static and dynamic typing language.
|
Go to the source code of this file.
Classes | |
class | TypeSystem.Constraints.FieldTypeAssignmentConstraint |
It represents constraints of the form: alpha := beta, being alpha a field type More... | |
Namespaces | |
package | TypeSystem.Constraints |
Constraints used in by the type system. | |