diff options
| author | Emilio Jesus Gallego Arias | 2016-06-01 17:06:25 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2016-06-02 16:45:39 +0200 |
| commit | 318fc2c04df1e73cc8a178d4fc1ce8bf5543649b (patch) | |
| tree | 440fb8e51d1fe118d866d0c620a86724e3c6eae8 /lib/xml_printer.mli | |
| parent | ffd89ea323937b7d323e24a2b6d53cdc857117dd (diff) | |
Move ide serialization libraries from lib/ to ide/
This makes the core free from particular protocol choices.
It should help with the ppx serialization project and shrinks clib.cma a
bit.
Diffstat (limited to 'lib/xml_printer.mli')
| -rw-r--r-- | lib/xml_printer.mli | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/lib/xml_printer.mli b/lib/xml_printer.mli deleted file mode 100644 index f24f51fff5..0000000000 --- a/lib/xml_printer.mli +++ /dev/null @@ -1,29 +0,0 @@ -(************************************************************************) -(* v * The Coq Proof Assistant / The Coq Development Team *) -(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016 *) -(* \VV/ **************************************************************) -(* // * This file is distributed under the terms of the *) -(* * GNU Lesser General Public License Version 2.1 *) -(************************************************************************) - -type xml = Xml_datatype.xml - -type t -type target = TChannel of out_channel | TBuffer of Buffer.t - -val make : target -> t - -(** Print the xml data structure to a source into a compact xml string (without - any user-readable formating ). *) -val print : t -> xml -> unit - -(** Print the xml data structure into a compact xml string (without - any user-readable formating ). *) -val to_string : xml -> string - -(** Print the xml data structure into an user-readable string with - tabs and lines break between different nodes. *) -val to_string_fmt : xml -> string - -(** Print PCDATA as a string by escaping XML entities. *) -val pcdata_to_string : string -> string |