10.1 AbstractWeightType

This is an abstract DataType that has the PrintableWeightType and the WeightType as subtypes. Both subtypes have the same structure, but their members have a different DataType. The AbstractWeightType is necessary to be able to define a VariableType with AbstractDataType and to add the actual DataType during instantiation. It is formally defined in

Table 144.