Is there a standard way to do this from a plugin? All the file writing methods I see in OCaml take string or string array arguments for writing to file. But since "Pp" is described as the Coq document type, I'm guessing there must be a way to write it to a file?
Pp.pp_with (Format.formatter_of_out_channel ...) ...
That's exactly what I was looking for, thanks!
Arpan Agrawal has marked this topic as resolved.
Last updated: May 31 2023 at 17:01 UTC