You are currently not logged in! Enter your authentication credentials below to log in. You need to have cookies enabled to log in.
This is an old revision of the document!
type @PAGE@(type name, type name2)
Does such-and-such.
Does the other thing.
The result value.
@PAGE@(1, 2); // will do xxx
This example illustrates the use of @PAGE@:
default { state_entry() { @PAGE@(1, 2); } }