Function arr_ext_slice_ty 

pub fn arr_ext_slice_ty() -> Expr

Array.slice : {α : Type} → {n : Nat} → Array α n → Nat → Nat → List α

Array slice: extract a sub-array from index lo to hi (exclusive), returning it as a list. Used in range queries and substring operations.