 | 11.8 Bindings and typings |
| 11 PVS translator |
| 11.10 Identifiers |
|
|
| ||||||
| 11.9 Names | ||||||||
RSL names that are identifiers translate to PVS identifiers.
Qualified names translate as qualified names, except that as nested objects become non-nested PVS theories (see section 11.3.2) only the innermost qualifier is needed, e.g. A.B.f translates to B.f.
| 11.9 Names | ||||||||
|
|
| ||||||