Description
Array shapes, dtypes, and PyTree structures can be described with type annotations and optional runtime checks. JAX developers use jaxtyping to document model code and catch shape errors earlier. Runtime checking should be balanced with performance in training or inference loops.