« Previous | Next » 

Revision 608efcce

ID608efcce95d93c1228f526c5f3ed192650b6f2b7

Added by Iustin Pop about 13 years ago

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

View differences