<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of class methods" rel=Appendix href="index_methods.html"> <link title="Index of classes" rel=Appendix href="index_classes.html"> <link title="Index of class types" rel=Appendix href="index_class_types.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Index of module types" rel=Appendix href="index_module_types.html"> <link title="Pxp_types" rel="Chapter" href="Pxp_types.html"> <link title="Pxp_document" rel="Chapter" href="Pxp_document.html"> <link title="Pxp_dtd" rel="Chapter" href="Pxp_dtd.html"> <link title="Pxp_tree_parser" rel="Chapter" href="Pxp_tree_parser.html"> <link title="Pxp_core_types" rel="Chapter" href="Pxp_core_types.html"> <link title="Pxp_ev_parser" rel="Chapter" href="Pxp_ev_parser.html"> <link title="Pxp_event" rel="Chapter" href="Pxp_event.html"> <link title="Pxp_dtd_parser" rel="Chapter" href="Pxp_dtd_parser.html"> <link title="Pxp_codewriter" rel="Chapter" href="Pxp_codewriter.html"> <link title="Pxp_marshal" rel="Chapter" href="Pxp_marshal.html"> <link title="Pxp_yacc" rel="Chapter" href="Pxp_yacc.html"> <link title="Pxp_reader" rel="Chapter" href="Pxp_reader.html"> <link title="Intro_trees" rel="Chapter" href="Intro_trees.html"> <link title="Intro_extensions" rel="Chapter" href="Intro_extensions.html"> <link title="Intro_namespaces" rel="Chapter" href="Intro_namespaces.html"> <link title="Intro_events" rel="Chapter" href="Intro_events.html"> <link title="Intro_resolution" rel="Chapter" href="Intro_resolution.html"> <link title="Intro_getting_started" rel="Chapter" href="Intro_getting_started.html"> <link title="Intro_advanced" rel="Chapter" href="Intro_advanced.html"> <link title="Intro_preprocessor" rel="Chapter" href="Intro_preprocessor.html"> <link title="Example_readme" rel="Chapter" href="Example_readme.html"><title>PXP Reference : Pxp_core_types.A</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">module</span> <span class="constructor">StringMap</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> key = string<br> <span class="keyword">type</span> +<span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> empty : <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> is_empty : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> add : key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> find : key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> remove : key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> mem : key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> iter : (key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> map : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t<br> <span class="keyword">val</span> mapi : (key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t<br> <span class="keyword">val</span> fold : (key <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>b<br> <span class="keyword">val</span> compare : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> int) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> equal : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br> <span class="keyword">end</span><br> <span class="keyword">type</span> ext_id =<br> <span class="constructor">System</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="constructor">Public</span> <span class="keyword">of</span> (string * string)<br> <span class="keywordsign">|</span> <span class="constructor">Anonymous</span><br> <span class="keywordsign">|</span> <span class="constructor">Private</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.private_id<br> <span class="keyword">and</span> private_id<br> <span class="keyword">type</span> resolver_id = {<br> rid_private : <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.private_id option;<br> rid_public : string option;<br> rid_system : string option;<br> rid_system_base : string option;<br> }<br> <span class="keyword">type</span> dtd_id =<br> <span class="constructor">External</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.ext_id<br> <span class="keywordsign">|</span> <span class="constructor">Derived</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.ext_id<br> <span class="keywordsign">|</span> <span class="constructor">Internal</span><br> <span class="keyword">type</span> content_model_type =<br> <span class="constructor">Unspecified</span><br> <span class="keywordsign">|</span> <span class="constructor">Empty</span><br> <span class="keywordsign">|</span> <span class="constructor">Any</span><br> <span class="keywordsign">|</span> <span class="constructor">Mixed</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.mixed_spec list<br> <span class="keywordsign">|</span> <span class="constructor">Regexp</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.regexp_spec<br> <span class="keyword">and</span> mixed_spec = <span class="constructor">MPCDATA</span> <span class="keywordsign">|</span> <span class="constructor">MChild</span> <span class="keyword">of</span> string<br> <span class="keyword">and</span> regexp_spec =<br> <span class="constructor">Optional</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.regexp_spec<br> <span class="keywordsign">|</span> <span class="constructor">Repeated</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.regexp_spec<br> <span class="keywordsign">|</span> <span class="constructor">Repeated1</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.regexp_spec<br> <span class="keywordsign">|</span> <span class="constructor">Alt</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.regexp_spec list<br> <span class="keywordsign">|</span> <span class="constructor">Seq</span> <span class="keyword">of</span> <span class="constructor">Pxp_core_types</span>.<span class="constructor">A</span>.regexp_spec list<br> <span class="keywordsign">|</span> <span class="constructor">Child</span> <span class="keyword">of</span> string<br> <span class="keyword">type</span> att_type =<br> <span class="constructor">A_cdata</span><br> <span class="keywordsign">|</span> <span class="constructor">A_id</span><br> <span class="keywordsign">|</span> <span class="constructor">A_idref</span><br> <span class="keywordsign">|</span> <span class="constructor">A_idrefs</span><br> <span class="keywordsign">|</span> <span class="constructor">A_entity</span><br> <span class="keywordsign">|</span> <span class="constructor">A_entities</span><br> <span class="keywordsign">|</span> <span class="constructor">A_nmtoken</span><br> <span class="keywordsign">|</span> <span class="constructor">A_nmtokens</span><br> <span class="keywordsign">|</span> <span class="constructor">A_notation</span> <span class="keyword">of</span> string list<br> <span class="keywordsign">|</span> <span class="constructor">A_enum</span> <span class="keyword">of</span> string list<br> <span class="keyword">type</span> att_default =<br> <span class="constructor">D_required</span><br> <span class="keywordsign">|</span> <span class="constructor">D_implied</span><br> <span class="keywordsign">|</span> <span class="constructor">D_default</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="constructor">D_fixed</span> <span class="keyword">of</span> string<br> <span class="keyword">type</span> att_value = <span class="constructor">Value</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="constructor">Valuelist</span> <span class="keyword">of</span> string list <span class="keywordsign">|</span> <span class="constructor">Implied_value</span><br> <span class="keyword">type</span> pool<br> <span class="keyword">end</span></code></body></html>