vsrocq-language-server.lsp
Goals.PrettyPrint
vsrocq-language-server.dm
vsrocq-language-server.language
type t =
| String
| Pp
val t_of_yojson : [> `String of string ] -> t
val yojson_of_t : t -> [> `String of string ]