[xdsl.universe]
xdsl_jax = xdsl_jax.universe:XDSL_JAX_UNIVERSE
