summaryrefslogtreecommitdiff
path: root/src/util.mli
AgeCommit message (Expand)Author
2018-02-11Rename Util.string_of_path to string_of_list since it can be used for any lists,Daniil Baturin
2017-12-13Add debug logging of protobuf messages.Daniil Baturin
2017-01-20Use BatOption.defalt instead of homegrown equivalent.Daniil Baturin
2017-01-17T231: Add a function for loading interface definitions from a directory (#5)Shon Feder
2017-01-16Add a trivial 'a option -> 'a -> 'a function for substituting something for a...Daniil Baturin
2015-04-24Make find_xml_child return Xml.xml option rather than raise Not_found.Daniil Baturin
2015-04-23Quick and dirty path pretty printer.Daniil Baturin
2015-04-22Add a function for looking up xml-light tag children.Daniil Baturin