Click or drag to resize

Type Model for ObjectTypes and VariableTypes

Home

In the following clauses the type model of ObjectTypes and VariableTypes is defined regarding subtyping and instantiation.

In This Section