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

val string_of_path : string list -> string