jax.lax.scan — JAX documentation
jax.readthedocs.io