module Xml_light_dtd_check: sig .. end
sig
end
type checked = private {
c_elements : Xml_light_types.dtd_element_type Xml_light_utils.map;
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;
(Xml_light_types.dtd_attr_type * Xml_light_types.dtd_attr_default) Xml_light_utils.map Xml_light_utils.map
}
val check : Xml_light_types.dtd -> checked
Xml_light_types.dtd -> checked