Loading annotation for jax.readthedocs.io