+1
−1
+3
−1
Loading
n%%m is a PredicateSimple yielding true
if m divides n, and false otherwise.
We can now use ASTs for PredicateSimple in the form
AST1 op AST2
where op belongs to {"==", "!=", "<=", ">=", ">", "<", "%%"};
and AST is anything that ExpressionCalculator can process, and
separated by pipes |
So, n%%m is equivalent (and a shorthand) for
%|n|m==0