On Tue, 10 Sep 2002, Maurizio Umberto Puxeddu wrote:
As a special case of dollar sign expansion, inside abstractions $0 is expanded to a counter which is guaranteed to be unique to that abstraction. The dollar sign expansion mechanism and the special $0 variable can be used to make local objects. For example sends and receives with names like "$0-bear" can be used as local send/receive pairs."
I would also add:
"In one-off subpatches (see below) $0 expands to the same value of the parent patch. This is consistent with the nature and use of this kind of subpatches."
Maurizio Umberto Puxeddu.