Condition

Syntax

condition

[ [valExpr ]]

Semantics

The type of the valExpr is Bool.

Examples

The condition

[[x > 0]]

is true when the value of variable x is larger than zero.