diff options
| author | Pierre-Marie Pédrot | 2015-09-14 16:40:28 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-09-20 15:20:32 +0200 |
| commit | f4584f8a332c9077844e227c8b86d3cb1daf8b12 (patch) | |
| tree | 8f09f14d3a3273ccdbd7ec86146b70bce5623278 /lib/serialize.mli | |
| parent | 481d2b681463d2758fec6b2417631491be69f216 (diff) | |
Adding rich printing primitives.
Diffstat (limited to 'lib/serialize.mli')
| -rw-r--r-- | lib/serialize.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/serialize.mli b/lib/serialize.mli index 34d3e054cd..f4eac5a6b9 100644 --- a/lib/serialize.mli +++ b/lib/serialize.mli @@ -35,3 +35,5 @@ val of_edit_id: int -> xml val to_edit_id: xml -> int val of_loc : Loc.t -> xml val to_loc : xml -> Loc.t +val of_xml : xml -> xml +val to_xml : xml -> xml |