let schema_of_xml = function Xml.Element ("schema",_, [Xml.Element("sch_tables",_, [Xml.Element ("list",_,l)])]) -> { sch_tables = List.map table_of_xml l } | e -> fail e "schema_of_xml"