Function arr_ext_map_fuse_ty 

pub fn arr_ext_map_fuse_ty() -> Expr

Array.map_fuse : ∀ {α β γ n}, (β → γ) → (α → β) → Array α n → Prop

Map fusion law: two consecutive maps can be fused into one pass. map g (map f a) = map (g ∘ f) a. This enables loop fusion optimization.