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