Hi,

Fermin Reig wrote:
> This sounds like a parsing problem suitable for the parser combinator 
> approach. There, the result of a parse is a pair where one of the two 
> components is the remaining of the input string.
> 
> Many of the papers and implementations are from the Haskell folk, but I 
> think there are some in Ocaml as well.

Indeed. Look at the library Ostaps in the Caml hump.

HTH,
Sebastien