let drop t ~index = let l = A.length t in if index < 0 then t else if index >= l then A.empty else (A.sub_exn t ~index:index ~length:(l - index))