Documentation

mkNotExpr dynamically creates a not expression, if the single argument is a bool expression.

notExpr creates a not expression, that returns true is the argument expression returns an error or false.

mkAndExpr dynamically creates an and expression, if the two arguments are both bool expressions.

andExpr creates an and expression that returns true if both arguments are true.

mkOrExpr dynamically creates an or expression, if the two arguments are both bool expressions.

orExpr creates an or expression that returns true if either argument is true.