package xml-light
Module Xml_light_dtd_checkSource
Source
type 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;
}