NAME

SYNOPSYS

DESCRIPTION

The informal semantics of the operators are as follows:

SEE ALSO