Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package xml-light
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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