pub fn register_array_extended(env: &mut Environment) -> Result<(), String>Expand description
Register all extended array axioms into the kernel environment.
This adds axioms for: functor/monad laws, sort stability, reverse involution, append laws, slices, prefix sums, 2D arrays, rotation, suffix arrays, convolution, persistent arrays, chunking, parallel map, and fusion laws.