summaryrefslogtreecommitdiff
path: root/src/util.mli
blob: 9f6c3db06246256c12ca2315f0be8f509c1a3ca2 (plain)
1
2
3
4
5
val find_xml_child : string -> Xml.xml -> Xml.xml option

val string_of_path : string list -> string

val absolute_path : FilePath.filename -> FilePath.filename