top-level declaration provider