fn arb_array_dimension() -> BoxedStrategy<ArrayDimension>