summaryrefslogtreecommitdiff
path: root/src/util.mli
diff options
context:
space:
mode:
Diffstat (limited to 'src/util.mli')
-rw-r--r--src/util.mli4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/util.mli b/src/util.mli
index 68d0094..4c11d9e 100644
--- a/src/util.mli
+++ b/src/util.mli
@@ -1,6 +1,8 @@
val find_xml_child : string -> Xml.xml -> Xml.xml option
-val string_of_path : string list -> string
+val string_of_list : string list -> string
+
+val json_of_list : string list -> string
val absolute_path : FilePath.filename -> FilePath.filename