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

val string_of_path : string list -> string

val substitute_default : 'a option -> 'a -> 'a