Up – Package index » xml-light » Library xml-light » Xml_light_dtd_check

Module `Xml_light_dtd_check`

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;

}

val check : Xml_light_types.dtd -> checked