10.3.2 bool

Dezyne has a builtin boolean type bool with constants false and true.

Available boolean operators are:

!b

Logical negation of a boolean expression,

b1 && b2

Logical and of two boolean expressions,

b1 || b2

Logical or of two boolean expressions,

b1 == b2

Logical implies of two boolean expressions,

b1 => b2

Equality of two boolean expressions,

b1 != b2

Inequality of two boolean expressions,

where b, b1, and b2 are boolean expressions.

It is used to define boolean events

in bool test ();

boolean variables

bool idle = true;

and parameters and functions

bool negate (bool input)
{
  return !input;
}

The implies operator (=>) is available as of Dezyne 2.19.0. The expression b1 => b2 expresses that if condition b1 hold than also condition b2 should hold. Note that we have the equivalence

b1 => b2   ==  !b1 || b2