Hi Thom, Thanks for taking a look at it.
On 11/09/2026 16:41, Thom Brown wrote:
What behaviour should be expected for the following cases: a IMPLIES b IMPLIES c
a IMPLIES (b IMPLIES c), it is right associative. I put this exact case in the documentation.
It deparses to (NOT a) OR (NOT b) OR c.
CHECK (a IMPLIES b) -- where b is NULL -- And what does that deparse to?
This is in the documentation as well, it deparses to NOT a OR NULL which is either TRUE or UNKNOWN depending on what a is. In both cases the CHECK passes.
a IMPLIES (100 / b > 10)
This is an error because the operator only applies to booleans. -- Vik Fearing
