Function arr_ext_sparse_table_ty 

pub fn arr_ext_sparse_table_ty() -> Expr

Array.sparse_table : {α : Type} → {n : Nat} → [Ord α] → Array α n → Type

Sparse table for range-minimum queries (RMQ): precomputes answers for all power-of-2 length intervals in O(n log n) time, enabling O(1) RMQ.