letprevGrabPointPos= grabPoints.[grabPointIndex-1]

Array.findFirstIndexWhereTrue lines(fun(_,pos)-> posGeq pos prevGrabPointPos)

lines.[firstLineIndexAfterPrevGrabPoint..firstLineIndexAfterGrabPoint-1]|> Array.map fst

letlines= lines.[firstLineIndexAfterPrevGrabPoint..firstLineIndexAfterGrabPoint-1]|> Array.rev

letfirstLineNumber=(snd lines.[0]).Line

lines

|> Array.mapi(fun i x-> firstLineNumber- i, x)

|> Array.takeWhile(fun(sequencedLineNumber,(_,pos))-> sequencedLineNumber= pos.Line)

|> Array.map(fun(_,(lineStr,_))-> lineStr)

|> Array.rev

with e->

| XmlDocofstring[]