In this paper, we develop a semiclassical calculus on compact nil-manifolds.
As an application of the former, we obtain asymptotics such as generalised Weyl
laws for positive Rockland operators on any graded compact nil-manifolds. We
also define and study semiclassical limits and quantum limits in this context.
