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
|