ClassTypeProxy.cs File Reference

Go to the source code of this file.

Classes
class	TypeSystem.ClassTypeProxy
	Represents a proxy of a class type. It implements the unfold operatations of theoretical type systes. More...

Namespaces
package	TypeSystem
	The implementation of the StaDyn type system rules.