Several public axe-core methods do not have a type definition, including important ones like setup and teardown. While not everything in axe-core needs to be typed, at least all methods on the global axe object should be.