Stream: Coq devs & plugin devs

Topic: ✔ Writing a term of type Pp.t to a file

Arpan Agrawal (Feb 06 2023 at 17:16):

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?

Thanks!

Guillaume Melquiond (Feb 06 2023 at 17:53):

Pp.pp_with (Format.formatter_of_out_channel ...) ...

Arpan Agrawal (Feb 06 2023 at 18:09):

That's exactly what I was looking for, thanks!

Notification Bot (Feb 06 2023 at 18:09):

Arpan Agrawal has marked this topic as resolved.

Last updated: May 31 2023 at 17:01 UTC