Xml_light_dtd_checkSourcetype checked = private {c_elements : Xml_light_types.dtd_element_type Xml_light_utils.map;c_attribs : (Xml_light_types.dtd_attr_type * Xml_light_types.dtd_attr_default)
Xml_light_utils.map
Xml_light_utils.map;}