resources
Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays.