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))