Weyl's equidistribution criterion