Function arr_ext_suffix_array_ty 

pub fn arr_ext_suffix_array_ty() -> Expr

Array.suffix_array : {n : Nat} → Array Nat n → Array Nat n

Suffix array construction: given a string (represented as an array of character codes), compute the lexicographically sorted array of suffix start indices. Used in O(n log n) string matching algorithms.