« Previous | Next » 

Revision 608efcce


Added by Iustin Pop over 14 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.


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences