OCaml Parser combinator library as powerful as fastparse(Scala)?

[hbr]

@jhw
What do you mean by validating parser?

A json parser should accept valid json and reject invalid json. Otherwise it would not be a json parser.

And why do you think that validating requires backtracking?