()
| 5500 | |
| 5501 | #[cfg(any(test, feature = "proptest"))] |
| 5502 | fn arb_array_dimension() -> BoxedStrategy<ArrayDimension> { |
| 5503 | (1..4_usize) |
| 5504 | .prop_map(|length| ArrayDimension { |
| 5505 | lower_bound: 1, |
| 5506 | length, |
| 5507 | }) |
| 5508 | .boxed() |
| 5509 | } |
| 5510 | |
| 5511 | #[derive(Debug, PartialEq, Clone)] |
| 5512 | #[cfg(any(test, feature = "proptest"))] |