Revision 608efcce
| ID | 608efcce95d93c1228f526c5f3ed192650b6f2b7 |
| Parent | 262a08a2 |
| Child | 5a1edeb6 |
Add type synonyms for the node/instance indices
This is a first step towards full datatype renaming. That requires more
changes, so at first we only want to document clearly what is a node
index, what is an instance index, and what is a plain Int.
Files
- added
- modified
- copied
- renamed
- deleted