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)
name
Does such-and-such.
name2
Does the other thing.
The result value.
This example illustrates the use of @PAGE@:
default { state_entry() { @PAGE@(1, 2); } }