sacabase
pub fn verify<Index>(input: &[u8], sa: &[Index]) -> Result<(), NotSorted> where Index: ToPrimitive,
Returns an error if sa is not the suffix array of input, Ok(()) otherwise.
sa
input