Function compressed_suffix_array_ty 

pub fn compressed_suffix_array_ty() -> Expr

CompressedSuffixArray : Nat → Type 0 — compressed suffix array (CSA/FM-index).