Currently a regex is used. This affects source locations. This should be done by processing spec comments, like what [Gospel](https://ocaml-gospel.github.io/gospel/language/attributes) does.
Currently a regex is used. This affects source locations.
This should be done by processing spec comments, like what Gospel does.