Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

explanation (or pointer to such - think this convention used in a few places?) of what integer and None do.

Possibly out-of-scope: what about a dict, of {oldname1:newname1, oldname2:newname2,...} - in this case don't have to specify all inputs (or outputs, or states...)