add u32[4] as possible PRNGKeyArray type#388

patrick-kidger merged 2 commits into

patrick-kidger:mainpatrick-kidger/jaxtyping:mainfrom

jondeaton:mainjondeaton/jaxtyping:mainCopy head branch name to clipboard