CCHDataStructureInvariants
val read_xml_data_structure_invariants : CHXmlDocument.xml_element_int -> CCHPreTypes.data_structure_invariants_int