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

val string_of_path : string list -> string

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

val absolute_path : FilePath.filename -> FilePath.filename