Logical Implication (implies) is a simple binary logic operator that takes a boolean on both sides.
a implies b translates to iif(a, b, true), except that it is boolean short-circuited, so when a is false, the result is true (and b will never be evaluated). Equivalent to not a or b.
Syntax for this operator is:
var c: Boolean := a implies b;