divides function

Divides divides(
  1. int x,
  2. Expr y
)

Create a division predicate that is true if x divides y.

Implementation

Divides divides(int x, Expr y) => Divides(x, y).declare();