divides function

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

Implementation

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