| Attributes that record numbers to be displayed with a feature. | |
| Module | MEI.cmn |
| Members | |
| Attributes |
@num(optional)Records a number or count accompanying a notational feature.
Value of datatype positiveInteger.
att.numbered
|
| Declaration |
|