Promela Reference -- _(5)

### `Promela` | ### `Predefined` | ### `_(5)`

`NAME`
`_` - predefined global write-only variable.

`SYNTAX`
`_`

`DESCRIPTION`
It is a predefined write-only variable, that can be used to store scratch values. The type of this global variable is `int .` It is an error to use or reference its value.

`EXAMPLES`
To flush the contents of a channel with two message fields of arbitrary type:

    do
    :: q?_,_
    :: empty(q) -> break
    od

`SEE ALSO`
`hidden(2)`.

Spin Online References Promela Manual Index Promela Grammar Spin HomePage |  | `(Page Updated: 16 December 1997)`