Up – Package index » vscoq-language-server » Library vscoq-language-server.lsp » Protocol » Printing

Module `Protocol.Printing`Source

Sourcetype pp

Sourceval yojson_of_pp : pp -> Ppx_yojson_conv_lib.Yojson.Safe.t

Sourceval pp_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> pp

Sourceval pp_of_coqpp : Pp.t -> pp