<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_document</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> node_type =<br> <span class="constructor">T_element</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="constructor">T_data</span><br> <span class="keywordsign">|</span> <span class="constructor">T_super_root</span><br> <span class="keywordsign">|</span> <span class="constructor">T_pinstr</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="constructor">T_comment</span><br> <span class="keywordsign">|</span> <span class="constructor">T_none</span><br> <span class="keywordsign">|</span> <span class="constructor">T_attribute</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="constructor">T_namespace</span> <span class="keyword">of</span> string<br> <span class="keyword">type</span> data_node_classification =<br> <span class="constructor">CD_normal</span><br> <span class="keywordsign">|</span> <span class="constructor">CD_other</span><br> <span class="keywordsign">|</span> <span class="constructor">CD_empty</span><br> <span class="keywordsign">|</span> <span class="constructor">CD_ignorable</span><br> <span class="keywordsign">|</span> <span class="constructor">CD_error</span> <span class="keyword">of</span> exn<br> <span class="keyword">class</span> <span class="keyword">type</span> [<span class="keywordsign">'</span>a] extension =<br> <span class="keyword">object</span> (<span class="keywordsign">'</span>b)<br> <span class="keyword">method</span> clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> node : <span class="keywordsign">'</span>a<br> <span class="keyword">method</span> set_node : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span><br> <span class="keyword">class</span> <span class="keyword">type</span> [<span class="keywordsign">'</span>a] node =<br> <span class="keyword">object</span> (<span class="keywordsign">'</span>b)<br> <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension<br> <span class="keyword">method</span> add_node : ?force:bool <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> add_pinstr : <span class="constructor">Pxp_dtd</span>.proc_instruction <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> append_node : <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> attribute : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value<br> <span class="keyword">method</span> attribute_names : string list<br> <span class="keyword">method</span> attribute_type : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_type<br> <span class="keyword">method</span> attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list<br> <span class="keyword">method</span> attributes_as_nodes : <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node list<br> <span class="keyword">method</span> classify_data_node :<br> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> <span class="constructor">Pxp_document</span>.data_node_classification<br> <span class="keyword">method</span> comment : string option<br> <span class="keyword">method</span> complement_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> create_data : <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">method</span> create_element :<br> ?name_pool_for_attribute_values:<span class="constructor">Pxp_types</span>.pool <span class="keywordsign">-></span><br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span><br> ?valcheck:bool <span class="keywordsign">-></span><br> ?att_values:(string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span><br> <span class="constructor">Pxp_document</span>.node_type <span class="keywordsign">-></span><br> (string * string) list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">method</span> create_other :<br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> <span class="constructor">Pxp_document</span>.node_type <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">method</span> data : string<br> <span class="keyword">method</span> delete : unit<br> <span class="keyword">method</span> display :<br> ?prefixes:string <span class="constructor">Pxp_types</span>.<span class="constructor">StringMap</span>.t <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> display_prefix : string<br> <span class="keyword">method</span> dtd : <span class="constructor">Pxp_dtd</span>.dtd<br> <span class="keyword">method</span> dump : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> encoding : <span class="constructor">Pxp_types</span>.rep_encoding<br> <span class="keyword">method</span> entity_id : <span class="constructor">Pxp_types</span>.entity_id<br> <span class="keyword">method</span> extension : <span class="keywordsign">'</span>a<br> <span class="keyword">method</span> id_attribute_name : string<br> <span class="keyword">method</span> id_attribute_value : string<br> <span class="keyword">method</span> idref_attribute_names : string list<br> <span class="keyword">method</span> insert_nodes : ?pos:int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_adopt : <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node option <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_delete : <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.pool option <span class="keywordsign">-></span><br> bool <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span><br> (string * string) list <span class="keywordsign">-></span> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init_other :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> <span class="constructor">Pxp_document</span>.node_type <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_set_pos : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes : (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes_sibl :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node option <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node option <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span><br> unit<br> <span class="keyword">method</span> local_validate :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> localname : string<br> <span class="keyword">method</span> namespace_manager : <span class="constructor">Pxp_dtd</span>.namespace_manager<br> <span class="keyword">method</span> namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope<br> <span class="keyword">method</span> namespace_uri : string<br> <span class="keyword">method</span> namespaces_as_nodes : <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node list<br> <span class="keyword">method</span> next_node : <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">method</span> node_path : int list<br> <span class="keyword">method</span> node_position : int<br> <span class="keyword">method</span> node_type : <span class="constructor">Pxp_document</span>.node_type<br> <span class="keyword">method</span> normprefix : string<br> <span class="keyword">method</span> nth_node : int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">method</span> optional_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> optional_string_attribute : string <span class="keywordsign">-></span> string option<br> <span class="keyword">method</span> orphaned_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> orphaned_flat_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> parent : <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">method</span> pinstr : string <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.proc_instruction list<br> <span class="keyword">method</span> pinstr_names : string list<br> <span class="keyword">method</span> position : string * int * int<br> <span class="keyword">method</span> previous_node : <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">method</span> quick_set_attributes :<br> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove_nodes : ?pos:int <span class="keywordsign">-></span> ?len:int <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> required_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> required_string_attribute : string <span class="keywordsign">-></span> string<br> <span class="keyword">method</span> reset_attribute : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> root : <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">method</span> set_attribute :<br> ?force:bool <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_comment : string option <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_data : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_nodes : <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> sub_nodes : <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node list<br> <span class="keyword">method</span> validate : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_contents :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> write :<br> ?prefixes:string list <span class="keywordsign">-></span><br> ?default:string <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span><br> <span class="keyword">class</span> [<span class="keywordsign">'</span>a] data_impl :<br> <span class="keywordsign">'</span>a <span class="keywordsign">-></span><br> <span class="keyword">object</span> (<span class="keywordsign">'</span>b)<br> <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension<br> <span class="keyword">method</span> add_node : ?force:bool <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> add_pinstr : <span class="constructor">Pxp_dtd</span>.proc_instruction <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> append_node : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> attribute : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value<br> <span class="keyword">method</span> attribute_names : string list<br> <span class="keyword">method</span> attribute_type : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_type<br> <span class="keyword">method</span> attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list<br> <span class="keyword">method</span> attributes_as_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> classify_data_node : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> data_node_classification<br> <span class="keyword">method</span> comment : string option<br> <span class="keyword">method</span> complement_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> create_data : <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> create_element :<br> ?name_pool_for_attribute_values:<span class="constructor">Pxp_types</span>.pool <span class="keywordsign">-></span><br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span><br> ?valcheck:bool <span class="keywordsign">-></span><br> ?att_values:(string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> (string * string) list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> create_other :<br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> data : string<br> <span class="keyword">method</span> delete : unit<br> <span class="keyword">method</span> display :<br> ?prefixes:string <span class="constructor">Pxp_types</span>.<span class="constructor">StringMap</span>.t <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> display_prefix : string<br> <span class="keyword">method</span> dtd : <span class="constructor">Pxp_dtd</span>.dtd<br> <span class="keyword">method</span> dump : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> encoding : <span class="constructor">Pxp_types</span>.rep_encoding<br> <span class="keyword">method</span> entity_id : <span class="constructor">Pxp_types</span>.entity_id<br> <span class="keyword">method</span> extension : <span class="keywordsign">'</span>a<br> <span class="keyword">method</span> id_attribute_name : string<br> <span class="keyword">method</span> id_attribute_value : string<br> <span class="keyword">method</span> idref_attribute_names : string list<br> <span class="keyword">method</span> insert_nodes : ?pos:int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_adopt : <span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_delete : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.pool option <span class="keywordsign">-></span><br> bool <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span><br> (string * string) list <span class="keywordsign">-></span> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init_other :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_set_pos : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes : (<span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes_sibl :<br> (<span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> local_validate :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> localname : string<br> <span class="keyword">method</span> namespace_manager : <span class="constructor">Pxp_dtd</span>.namespace_manager<br> <span class="keyword">method</span> namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope<br> <span class="keyword">method</span> namespace_uri : string<br> <span class="keyword">method</span> namespaces_as_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> next_node : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> node_path : int list<br> <span class="keyword">method</span> node_position : int<br> <span class="keyword">method</span> node_type : node_type<br> <span class="keyword">method</span> normprefix : string<br> <span class="keyword">method</span> nth_node : int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> optional_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> optional_string_attribute : string <span class="keywordsign">-></span> string option<br> <span class="keyword">method</span> orphaned_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> orphaned_flat_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> parent : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> pinstr : string <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.proc_instruction list<br> <span class="keyword">method</span> pinstr_names : string list<br> <span class="keyword">method</span> position : string * int * int<br> <span class="keyword">method</span> previous_node : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> quick_set_attributes :<br> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove_nodes : ?pos:int <span class="keywordsign">-></span> ?len:int <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> required_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> required_string_attribute : string <span class="keywordsign">-></span> string<br> <span class="keyword">method</span> reset_attribute : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> root : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> set_attribute :<br> ?force:bool <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_comment : string option <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_data : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_nodes : <span class="keywordsign">'</span>a node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> sub_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> validate : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_contents :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> write :<br> ?prefixes:string list <span class="keywordsign">-></span><br> ?default:string <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span><br> <span class="keyword">class</span> [<span class="keywordsign">'</span>a] element_impl :<br> <span class="keywordsign">'</span>a <span class="keywordsign">-></span><br> <span class="keyword">object</span> (<span class="keywordsign">'</span>b)<br> <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension<br> <span class="keyword">method</span> add_node : ?force:bool <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> add_pinstr : <span class="constructor">Pxp_dtd</span>.proc_instruction <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> append_node : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> attribute : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value<br> <span class="keyword">method</span> attribute_names : string list<br> <span class="keyword">method</span> attribute_type : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_type<br> <span class="keyword">method</span> attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list<br> <span class="keyword">method</span> attributes_as_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> classify_data_node : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> data_node_classification<br> <span class="keyword">method</span> comment : string option<br> <span class="keyword">method</span> complement_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> create_data : <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> create_element :<br> ?name_pool_for_attribute_values:<span class="constructor">Pxp_types</span>.pool <span class="keywordsign">-></span><br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span><br> ?valcheck:bool <span class="keywordsign">-></span><br> ?att_values:(string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> (string * string) list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> create_other :<br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> data : string<br> <span class="keyword">method</span> delete : unit<br> <span class="keyword">method</span> display :<br> ?prefixes:string <span class="constructor">Pxp_types</span>.<span class="constructor">StringMap</span>.t <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> display_prefix : string<br> <span class="keyword">method</span> dtd : <span class="constructor">Pxp_dtd</span>.dtd<br> <span class="keyword">method</span> dump : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> encoding : <span class="constructor">Pxp_types</span>.rep_encoding<br> <span class="keyword">method</span> entity_id : <span class="constructor">Pxp_types</span>.entity_id<br> <span class="keyword">method</span> extension : <span class="keywordsign">'</span>a<br> <span class="keyword">method</span> id_attribute_name : string<br> <span class="keyword">method</span> id_attribute_value : string<br> <span class="keyword">method</span> idref_attribute_names : string list<br> <span class="keyword">method</span> insert_nodes : ?pos:int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_adopt : <span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_delete : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.pool option <span class="keywordsign">-></span><br> bool <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span><br> (string * string) list <span class="keywordsign">-></span> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init_other :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_set_pos : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes : (<span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes_sibl :<br> (<span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> local_validate :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> localname : string<br> <span class="keyword">method</span> namespace_manager : <span class="constructor">Pxp_dtd</span>.namespace_manager<br> <span class="keyword">method</span> namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope<br> <span class="keyword">method</span> namespace_uri : string<br> <span class="keyword">method</span> namespaces_as_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> next_node : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> node_path : int list<br> <span class="keyword">method</span> node_position : int<br> <span class="keyword">method</span> node_type : node_type<br> <span class="keyword">method</span> normprefix : string<br> <span class="keyword">method</span> nth_node : int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> optional_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> optional_string_attribute : string <span class="keywordsign">-></span> string option<br> <span class="keyword">method</span> orphaned_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> orphaned_flat_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> parent : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> pinstr : string <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.proc_instruction list<br> <span class="keyword">method</span> pinstr_names : string list<br> <span class="keyword">method</span> position : string * int * int<br> <span class="keyword">method</span> previous_node : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> quick_set_attributes :<br> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove_nodes : ?pos:int <span class="keywordsign">-></span> ?len:int <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> required_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> required_string_attribute : string <span class="keywordsign">-></span> string<br> <span class="keyword">method</span> reset_attribute : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> root : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> set_attribute :<br> ?force:bool <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_comment : string option <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_data : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_nodes : <span class="keywordsign">'</span>a node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> sub_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> validate : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_contents :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> write :<br> ?prefixes:string list <span class="keywordsign">-></span><br> ?default:string <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span><br> <span class="keyword">class</span> [<span class="keywordsign">'</span>a] comment_impl :<br> <span class="keywordsign">'</span>a <span class="keywordsign">-></span><br> <span class="keyword">object</span> (<span class="keywordsign">'</span>b)<br> <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension<br> <span class="keyword">method</span> add_node : ?force:bool <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> add_pinstr : <span class="constructor">Pxp_dtd</span>.proc_instruction <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> append_node : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> attribute : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value<br> <span class="keyword">method</span> attribute_names : string list<br> <span class="keyword">method</span> attribute_type : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_type<br> <span class="keyword">method</span> attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list<br> <span class="keyword">method</span> attributes_as_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> classify_data_node : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> data_node_classification<br> <span class="keyword">method</span> comment : string option<br> <span class="keyword">method</span> complement_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> create_data : <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> create_element :<br> ?name_pool_for_attribute_values:<span class="constructor">Pxp_types</span>.pool <span class="keywordsign">-></span><br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span><br> ?valcheck:bool <span class="keywordsign">-></span><br> ?att_values:(string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> (string * string) list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> create_other :<br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> data : string<br> <span class="keyword">method</span> delete : unit<br> <span class="keyword">method</span> display :<br> ?prefixes:string <span class="constructor">Pxp_types</span>.<span class="constructor">StringMap</span>.t <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> display_prefix : string<br> <span class="keyword">method</span> dtd : <span class="constructor">Pxp_dtd</span>.dtd<br> <span class="keyword">method</span> dump : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> encoding : <span class="constructor">Pxp_types</span>.rep_encoding<br> <span class="keyword">method</span> entity_id : <span class="constructor">Pxp_types</span>.entity_id<br> <span class="keyword">method</span> extension : <span class="keywordsign">'</span>a<br> <span class="keyword">method</span> id_attribute_name : string<br> <span class="keyword">method</span> id_attribute_value : string<br> <span class="keyword">method</span> idref_attribute_names : string list<br> <span class="keyword">method</span> insert_nodes : ?pos:int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_adopt : <span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_delete : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.pool option <span class="keywordsign">-></span><br> bool <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span><br> (string * string) list <span class="keywordsign">-></span> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init_other :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_set_pos : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes : (<span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes_sibl :<br> (<span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> local_validate :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> localname : string<br> <span class="keyword">method</span> namespace_manager : <span class="constructor">Pxp_dtd</span>.namespace_manager<br> <span class="keyword">method</span> namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope<br> <span class="keyword">method</span> namespace_uri : string<br> <span class="keyword">method</span> namespaces_as_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> next_node : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> node_path : int list<br> <span class="keyword">method</span> node_position : int<br> <span class="keyword">method</span> node_type : node_type<br> <span class="keyword">method</span> normprefix : string<br> <span class="keyword">method</span> nth_node : int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> optional_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> optional_string_attribute : string <span class="keywordsign">-></span> string option<br> <span class="keyword">method</span> orphaned_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> orphaned_flat_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> parent : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> pinstr : string <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.proc_instruction list<br> <span class="keyword">method</span> pinstr_names : string list<br> <span class="keyword">method</span> position : string * int * int<br> <span class="keyword">method</span> previous_node : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> quick_set_attributes :<br> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove_nodes : ?pos:int <span class="keywordsign">-></span> ?len:int <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> required_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> required_string_attribute : string <span class="keywordsign">-></span> string<br> <span class="keyword">method</span> reset_attribute : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> root : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> set_attribute :<br> ?force:bool <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_comment : string option <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_data : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_nodes : <span class="keywordsign">'</span>a node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> sub_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> validate : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_contents :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> write :<br> ?prefixes:string list <span class="keywordsign">-></span><br> ?default:string <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span><br> <span class="keyword">class</span> [<span class="keywordsign">'</span>a] pinstr_impl :<br> <span class="keywordsign">'</span>a <span class="keywordsign">-></span><br> <span class="keyword">object</span> (<span class="keywordsign">'</span>b)<br> <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension<br> <span class="keyword">method</span> add_node : ?force:bool <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> add_pinstr : <span class="constructor">Pxp_dtd</span>.proc_instruction <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> append_node : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> attribute : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value<br> <span class="keyword">method</span> attribute_names : string list<br> <span class="keyword">method</span> attribute_type : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_type<br> <span class="keyword">method</span> attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list<br> <span class="keyword">method</span> attributes_as_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> classify_data_node : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> data_node_classification<br> <span class="keyword">method</span> comment : string option<br> <span class="keyword">method</span> complement_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> create_data : <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> create_element :<br> ?name_pool_for_attribute_values:<span class="constructor">Pxp_types</span>.pool <span class="keywordsign">-></span><br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span><br> ?valcheck:bool <span class="keywordsign">-></span><br> ?att_values:(string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> (string * string) list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> create_other :<br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> data : string<br> <span class="keyword">method</span> delete : unit<br> <span class="keyword">method</span> display :<br> ?prefixes:string <span class="constructor">Pxp_types</span>.<span class="constructor">StringMap</span>.t <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> display_prefix : string<br> <span class="keyword">method</span> dtd : <span class="constructor">Pxp_dtd</span>.dtd<br> <span class="keyword">method</span> dump : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> encoding : <span class="constructor">Pxp_types</span>.rep_encoding<br> <span class="keyword">method</span> entity_id : <span class="constructor">Pxp_types</span>.entity_id<br> <span class="keyword">method</span> extension : <span class="keywordsign">'</span>a<br> <span class="keyword">method</span> id_attribute_name : string<br> <span class="keyword">method</span> id_attribute_value : string<br> <span class="keyword">method</span> idref_attribute_names : string list<br> <span class="keyword">method</span> insert_nodes : ?pos:int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_adopt : <span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_delete : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.pool option <span class="keywordsign">-></span><br> bool <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span><br> (string * string) list <span class="keywordsign">-></span> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init_other :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_set_pos : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes : (<span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes_sibl :<br> (<span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> local_validate :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> localname : string<br> <span class="keyword">method</span> namespace_manager : <span class="constructor">Pxp_dtd</span>.namespace_manager<br> <span class="keyword">method</span> namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope<br> <span class="keyword">method</span> namespace_uri : string<br> <span class="keyword">method</span> namespaces_as_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> next_node : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> node_path : int list<br> <span class="keyword">method</span> node_position : int<br> <span class="keyword">method</span> node_type : node_type<br> <span class="keyword">method</span> normprefix : string<br> <span class="keyword">method</span> nth_node : int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> optional_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> optional_string_attribute : string <span class="keywordsign">-></span> string option<br> <span class="keyword">method</span> orphaned_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> orphaned_flat_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> parent : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> pinstr : string <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.proc_instruction list<br> <span class="keyword">method</span> pinstr_names : string list<br> <span class="keyword">method</span> position : string * int * int<br> <span class="keyword">method</span> previous_node : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> quick_set_attributes :<br> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove_nodes : ?pos:int <span class="keywordsign">-></span> ?len:int <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> required_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> required_string_attribute : string <span class="keywordsign">-></span> string<br> <span class="keyword">method</span> reset_attribute : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> root : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> set_attribute :<br> ?force:bool <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_comment : string option <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_data : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_nodes : <span class="keywordsign">'</span>a node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> sub_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> validate : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_contents :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> write :<br> ?prefixes:string list <span class="keywordsign">-></span><br> ?default:string <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span><br> <span class="keyword">class</span> [<span class="keywordsign">'</span>a] super_root_impl :<br> <span class="keywordsign">'</span>a <span class="keywordsign">-></span><br> <span class="keyword">object</span> (<span class="keywordsign">'</span>b)<br> <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension<br> <span class="keyword">method</span> add_node : ?force:bool <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> add_pinstr : <span class="constructor">Pxp_dtd</span>.proc_instruction <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> append_node : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> attribute : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value<br> <span class="keyword">method</span> attribute_names : string list<br> <span class="keyword">method</span> attribute_type : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_type<br> <span class="keyword">method</span> attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list<br> <span class="keyword">method</span> attributes_as_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> classify_data_node : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> data_node_classification<br> <span class="keyword">method</span> comment : string option<br> <span class="keyword">method</span> complement_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> create_data : <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> create_element :<br> ?name_pool_for_attribute_values:<span class="constructor">Pxp_types</span>.pool <span class="keywordsign">-></span><br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span><br> ?valcheck:bool <span class="keywordsign">-></span><br> ?att_values:(string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> (string * string) list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> create_other :<br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> data : string<br> <span class="keyword">method</span> delete : unit<br> <span class="keyword">method</span> display :<br> ?prefixes:string <span class="constructor">Pxp_types</span>.<span class="constructor">StringMap</span>.t <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> display_prefix : string<br> <span class="keyword">method</span> dtd : <span class="constructor">Pxp_dtd</span>.dtd<br> <span class="keyword">method</span> dump : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> encoding : <span class="constructor">Pxp_types</span>.rep_encoding<br> <span class="keyword">method</span> entity_id : <span class="constructor">Pxp_types</span>.entity_id<br> <span class="keyword">method</span> extension : <span class="keywordsign">'</span>a<br> <span class="keyword">method</span> id_attribute_name : string<br> <span class="keyword">method</span> id_attribute_value : string<br> <span class="keyword">method</span> idref_attribute_names : string list<br> <span class="keyword">method</span> insert_nodes : ?pos:int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_adopt : <span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_delete : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.pool option <span class="keywordsign">-></span><br> bool <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span><br> (string * string) list <span class="keywordsign">-></span> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init_other :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_set_pos : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes : (<span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes_sibl :<br> (<span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> local_validate :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> localname : string<br> <span class="keyword">method</span> namespace_manager : <span class="constructor">Pxp_dtd</span>.namespace_manager<br> <span class="keyword">method</span> namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope<br> <span class="keyword">method</span> namespace_uri : string<br> <span class="keyword">method</span> namespaces_as_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> next_node : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> node_path : int list<br> <span class="keyword">method</span> node_position : int<br> <span class="keyword">method</span> node_type : node_type<br> <span class="keyword">method</span> normprefix : string<br> <span class="keyword">method</span> nth_node : int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> optional_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> optional_string_attribute : string <span class="keywordsign">-></span> string option<br> <span class="keyword">method</span> orphaned_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> orphaned_flat_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> parent : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> pinstr : string <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.proc_instruction list<br> <span class="keyword">method</span> pinstr_names : string list<br> <span class="keyword">method</span> position : string * int * int<br> <span class="keyword">method</span> previous_node : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> quick_set_attributes :<br> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove_nodes : ?pos:int <span class="keywordsign">-></span> ?len:int <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> required_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> required_string_attribute : string <span class="keywordsign">-></span> string<br> <span class="keyword">method</span> reset_attribute : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> root : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> set_attribute :<br> ?force:bool <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_comment : string option <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_data : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_nodes : <span class="keywordsign">'</span>a node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> sub_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> validate : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_contents :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> write :<br> ?prefixes:string list <span class="keywordsign">-></span><br> ?default:string <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span><br> <span class="keyword">class</span> [<span class="keywordsign">'</span>a] attribute_impl :<br> element:string <span class="keywordsign">-></span><br> name:string <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.att_value <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span><br> <span class="keyword">object</span> (<span class="keywordsign">'</span>b)<br> <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension<br> <span class="keyword">method</span> add_node : ?force:bool <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> add_pinstr : <span class="constructor">Pxp_dtd</span>.proc_instruction <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> append_node : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> attribute : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value<br> <span class="keyword">method</span> attribute_names : string list<br> <span class="keyword">method</span> attribute_type : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_type<br> <span class="keyword">method</span> attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list<br> <span class="keyword">method</span> attributes_as_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> classify_data_node : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> data_node_classification<br> <span class="keyword">method</span> comment : string option<br> <span class="keyword">method</span> complement_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> create_data : <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> create_element :<br> ?name_pool_for_attribute_values:<span class="constructor">Pxp_types</span>.pool <span class="keywordsign">-></span><br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span><br> ?valcheck:bool <span class="keywordsign">-></span><br> ?att_values:(string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> (string * string) list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> create_other :<br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> data : string<br> <span class="keyword">method</span> delete : unit<br> <span class="keyword">method</span> display :<br> ?prefixes:string <span class="constructor">Pxp_types</span>.<span class="constructor">StringMap</span>.t <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> display_prefix : string<br> <span class="keyword">method</span> dtd : <span class="constructor">Pxp_dtd</span>.dtd<br> <span class="keyword">method</span> dump : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> encoding : <span class="constructor">Pxp_types</span>.rep_encoding<br> <span class="keyword">method</span> entity_id : <span class="constructor">Pxp_types</span>.entity_id<br> <span class="keyword">method</span> extension : <span class="keywordsign">'</span>a<br> <span class="keyword">method</span> id_attribute_name : string<br> <span class="keyword">method</span> id_attribute_value : string<br> <span class="keyword">method</span> idref_attribute_names : string list<br> <span class="keyword">method</span> insert_nodes : ?pos:int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_adopt : <span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_delete : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.pool option <span class="keywordsign">-></span><br> bool <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span><br> (string * string) list <span class="keywordsign">-></span> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init_other :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_set_pos : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes : (<span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes_sibl :<br> (<span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> local_validate :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> localname : string<br> <span class="keyword">method</span> namespace_manager : <span class="constructor">Pxp_dtd</span>.namespace_manager<br> <span class="keyword">method</span> namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope<br> <span class="keyword">method</span> namespace_uri : string<br> <span class="keyword">method</span> namespaces_as_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> next_node : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> node_path : int list<br> <span class="keyword">method</span> node_position : int<br> <span class="keyword">method</span> node_type : node_type<br> <span class="keyword">method</span> normprefix : string<br> <span class="keyword">method</span> nth_node : int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> optional_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> optional_string_attribute : string <span class="keywordsign">-></span> string option<br> <span class="keyword">method</span> orphaned_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> orphaned_flat_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> parent : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> pinstr : string <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.proc_instruction list<br> <span class="keyword">method</span> pinstr_names : string list<br> <span class="keyword">method</span> position : string * int * int<br> <span class="keyword">method</span> previous_node : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> quick_set_attributes :<br> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove_nodes : ?pos:int <span class="keywordsign">-></span> ?len:int <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> required_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> required_string_attribute : string <span class="keywordsign">-></span> string<br> <span class="keyword">method</span> reset_attribute : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> root : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> set_attribute :<br> ?force:bool <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_comment : string option <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_data : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_nodes : <span class="keywordsign">'</span>a node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> sub_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> validate : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_contents :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> write :<br> ?prefixes:string list <span class="keywordsign">-></span><br> ?default:string <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span><br> <span class="keyword">class</span> [<span class="keywordsign">'</span>a] namespace_impl :<br> string <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span><br> <span class="keyword">object</span> (<span class="keywordsign">'</span>b)<br> <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension<br> <span class="keyword">method</span> add_node : ?force:bool <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> add_pinstr : <span class="constructor">Pxp_dtd</span>.proc_instruction <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> append_node : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> attribute : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value<br> <span class="keyword">method</span> attribute_names : string list<br> <span class="keyword">method</span> attribute_type : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_type<br> <span class="keyword">method</span> attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list<br> <span class="keyword">method</span> attributes_as_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> classify_data_node : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> data_node_classification<br> <span class="keyword">method</span> comment : string option<br> <span class="keyword">method</span> complement_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> create_data : <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> create_element :<br> ?name_pool_for_attribute_values:<span class="constructor">Pxp_types</span>.pool <span class="keywordsign">-></span><br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span><br> ?valcheck:bool <span class="keywordsign">-></span><br> ?att_values:(string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> (string * string) list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> create_other :<br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> data : string<br> <span class="keyword">method</span> delete : unit<br> <span class="keyword">method</span> display :<br> ?prefixes:string <span class="constructor">Pxp_types</span>.<span class="constructor">StringMap</span>.t <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> display_prefix : string<br> <span class="keyword">method</span> dtd : <span class="constructor">Pxp_dtd</span>.dtd<br> <span class="keyword">method</span> dump : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> encoding : <span class="constructor">Pxp_types</span>.rep_encoding<br> <span class="keyword">method</span> entity_id : <span class="constructor">Pxp_types</span>.entity_id<br> <span class="keyword">method</span> extension : <span class="keywordsign">'</span>a<br> <span class="keyword">method</span> id_attribute_name : string<br> <span class="keyword">method</span> id_attribute_value : string<br> <span class="keyword">method</span> idref_attribute_names : string list<br> <span class="keyword">method</span> insert_nodes : ?pos:int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_adopt : <span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_delete : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.pool option <span class="keywordsign">-></span><br> bool <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span><br> (string * string) list <span class="keywordsign">-></span> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init_other :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_set_pos : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes : (<span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes_sibl :<br> (<span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> local_validate :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> localname : string<br> <span class="keyword">method</span> namespace_manager : <span class="constructor">Pxp_dtd</span>.namespace_manager<br> <span class="keyword">method</span> namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope<br> <span class="keyword">method</span> namespace_uri : string<br> <span class="keyword">method</span> namespaces_as_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> next_node : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> node_path : int list<br> <span class="keyword">method</span> node_position : int<br> <span class="keyword">method</span> node_type : node_type<br> <span class="keyword">method</span> normprefix : string<br> <span class="keyword">method</span> nth_node : int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> optional_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> optional_string_attribute : string <span class="keywordsign">-></span> string option<br> <span class="keyword">method</span> orphaned_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> orphaned_flat_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> parent : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> pinstr : string <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.proc_instruction list<br> <span class="keyword">method</span> pinstr_names : string list<br> <span class="keyword">method</span> position : string * int * int<br> <span class="keyword">method</span> previous_node : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> quick_set_attributes :<br> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove_nodes : ?pos:int <span class="keywordsign">-></span> ?len:int <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> required_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> required_string_attribute : string <span class="keywordsign">-></span> string<br> <span class="keyword">method</span> reset_attribute : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> root : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> set_attribute :<br> ?force:bool <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_comment : string option <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_data : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_nodes : <span class="keywordsign">'</span>a node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> sub_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> validate : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_contents :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> write :<br> ?prefixes:string list <span class="keywordsign">-></span><br> ?default:string <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span><br> <span class="keyword">class</span> [<span class="keywordsign">'</span>a] namespace_element_impl :<br> <span class="keywordsign">'</span>a <span class="keywordsign">-></span><br> <span class="keyword">object</span> (<span class="keywordsign">'</span>b)<br> <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension<br> <span class="keyword">method</span> add_node : ?force:bool <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> add_pinstr : <span class="constructor">Pxp_dtd</span>.proc_instruction <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> append_node : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> attribute : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value<br> <span class="keyword">method</span> attribute_names : string list<br> <span class="keyword">method</span> attribute_type : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_type<br> <span class="keyword">method</span> attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list<br> <span class="keyword">method</span> attributes_as_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> classify_data_node : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> data_node_classification<br> <span class="keyword">method</span> comment : string option<br> <span class="keyword">method</span> complement_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> create_data : <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> create_element :<br> ?name_pool_for_attribute_values:<span class="constructor">Pxp_types</span>.pool <span class="keywordsign">-></span><br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span><br> ?valcheck:bool <span class="keywordsign">-></span><br> ?att_values:(string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> (string * string) list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> create_other :<br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> data : string<br> <span class="keyword">method</span> delete : unit<br> <span class="keyword">method</span> display :<br> ?prefixes:string <span class="constructor">Pxp_types</span>.<span class="constructor">StringMap</span>.t <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> display_prefix : string<br> <span class="keyword">method</span> dtd : <span class="constructor">Pxp_dtd</span>.dtd<br> <span class="keyword">method</span> dump : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> encoding : <span class="constructor">Pxp_types</span>.rep_encoding<br> <span class="keyword">method</span> entity_id : <span class="constructor">Pxp_types</span>.entity_id<br> <span class="keyword">method</span> extension : <span class="keywordsign">'</span>a<br> <span class="keyword">method</span> id_attribute_name : string<br> <span class="keyword">method</span> id_attribute_value : string<br> <span class="keyword">method</span> idref_attribute_names : string list<br> <span class="keyword">method</span> insert_nodes : ?pos:int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_adopt : <span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_delete : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.pool option <span class="keywordsign">-></span><br> bool <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span><br> (string * string) list <span class="keywordsign">-></span> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init_other :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_set_pos : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes : (<span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes_sibl :<br> (<span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> local_validate :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> localname : string<br> <span class="keyword">method</span> namespace_manager : <span class="constructor">Pxp_dtd</span>.namespace_manager<br> <span class="keyword">method</span> namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope<br> <span class="keyword">method</span> namespace_uri : string<br> <span class="keyword">method</span> namespaces_as_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> next_node : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> node_path : int list<br> <span class="keyword">method</span> node_position : int<br> <span class="keyword">method</span> node_type : node_type<br> <span class="keyword">method</span> normprefix : string<br> <span class="keyword">method</span> nth_node : int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> optional_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> optional_string_attribute : string <span class="keywordsign">-></span> string option<br> <span class="keyword">method</span> orphaned_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> orphaned_flat_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> parent : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> pinstr : string <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.proc_instruction list<br> <span class="keyword">method</span> pinstr_names : string list<br> <span class="keyword">method</span> position : string * int * int<br> <span class="keyword">method</span> previous_node : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> quick_set_attributes :<br> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove_nodes : ?pos:int <span class="keywordsign">-></span> ?len:int <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> required_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> required_string_attribute : string <span class="keywordsign">-></span> string<br> <span class="keyword">method</span> reset_attribute : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> root : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> set_attribute :<br> ?force:bool <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_comment : string option <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_data : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_nodes : <span class="keywordsign">'</span>a node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> sub_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> validate : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_contents :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> write :<br> ?prefixes:string list <span class="keywordsign">-></span><br> ?default:string <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span><br> <span class="keyword">class</span> [<span class="keywordsign">'</span>a] namespace_attribute_impl :<br> element:string <span class="keywordsign">-></span><br> name:string <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.att_value <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span><br> <span class="keyword">object</span> (<span class="keywordsign">'</span>b)<br> <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension<br> <span class="keyword">method</span> add_node : ?force:bool <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> add_pinstr : <span class="constructor">Pxp_dtd</span>.proc_instruction <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> append_node : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> attribute : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value<br> <span class="keyword">method</span> attribute_names : string list<br> <span class="keyword">method</span> attribute_type : string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_type<br> <span class="keyword">method</span> attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list<br> <span class="keyword">method</span> attributes_as_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> classify_data_node : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> data_node_classification<br> <span class="keyword">method</span> comment : string option<br> <span class="keyword">method</span> complement_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> create_data : <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> create_element :<br> ?name_pool_for_attribute_values:<span class="constructor">Pxp_types</span>.pool <span class="keywordsign">-></span><br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span><br> ?valcheck:bool <span class="keywordsign">-></span><br> ?att_values:(string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> (string * string) list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> create_other :<br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> data : string<br> <span class="keyword">method</span> delete : unit<br> <span class="keyword">method</span> display :<br> ?prefixes:string <span class="constructor">Pxp_types</span>.<span class="constructor">StringMap</span>.t <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> display_prefix : string<br> <span class="keyword">method</span> dtd : <span class="constructor">Pxp_dtd</span>.dtd<br> <span class="keyword">method</span> dump : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> encoding : <span class="constructor">Pxp_types</span>.rep_encoding<br> <span class="keyword">method</span> entity_id : <span class="constructor">Pxp_types</span>.entity_id<br> <span class="keyword">method</span> extension : <span class="keywordsign">'</span>a<br> <span class="keyword">method</span> id_attribute_name : string<br> <span class="keyword">method</span> id_attribute_value : string<br> <span class="keyword">method</span> idref_attribute_names : string list<br> <span class="keyword">method</span> insert_nodes : ?pos:int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_adopt : <span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_delete : <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.pool option <span class="keywordsign">-></span><br> bool <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span><br> (string * string) list <span class="keywordsign">-></span> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_init_other :<br> <span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> string * int * int <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> node_type <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> internal_set_pos : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes : (<span class="keywordsign">'</span>a node <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> iter_nodes_sibl :<br> (<span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node option <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> local_validate :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> localname : string<br> <span class="keyword">method</span> namespace_manager : <span class="constructor">Pxp_dtd</span>.namespace_manager<br> <span class="keyword">method</span> namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope<br> <span class="keyword">method</span> namespace_uri : string<br> <span class="keyword">method</span> namespaces_as_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> next_node : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> node_path : int list<br> <span class="keyword">method</span> node_position : int<br> <span class="keyword">method</span> node_type : node_type<br> <span class="keyword">method</span> normprefix : string<br> <span class="keyword">method</span> nth_node : int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> optional_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> optional_string_attribute : string <span class="keywordsign">-></span> string option<br> <span class="keyword">method</span> orphaned_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> orphaned_flat_clone : <span class="keywordsign">'</span>b<br> <span class="keyword">method</span> parent : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> pinstr : string <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.proc_instruction list<br> <span class="keyword">method</span> pinstr_names : string list<br> <span class="keyword">method</span> position : string * int * int<br> <span class="keyword">method</span> previous_node : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> quick_set_attributes :<br> (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove_nodes : ?pos:int <span class="keywordsign">-></span> ?len:int <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> required_list_attribute : string <span class="keywordsign">-></span> string list<br> <span class="keyword">method</span> required_string_attribute : string <span class="keywordsign">-></span> string<br> <span class="keyword">method</span> reset_attribute : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> root : <span class="keywordsign">'</span>a node<br> <span class="keyword">method</span> set_attribute :<br> ?force:bool <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.att_value <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_attributes : (string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_comment : string option <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_data : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_namespace_scope : <span class="constructor">Pxp_dtd</span>.namespace_scope <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_nodes : <span class="keywordsign">'</span>a node list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> sub_nodes : <span class="keywordsign">'</span>a node list<br> <span class="keyword">method</span> validate : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_attlist : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> validate_contents :<br> ?use_dfa:bool <span class="keywordsign">-></span> ?check_data_nodes:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> write :<br> ?prefixes:string list <span class="keywordsign">-></span><br> ?default:string <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span><br> <span class="keyword">val</span> pinstr :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.proc_instruction<br> <span class="keyword">val</span> attribute_name :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> string<br> <span class="keyword">val</span> attribute_value :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.att_value<br> <span class="keyword">val</span> attribute_string_value :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> string<br> <span class="keyword">val</span> namespace_normprefix :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> string<br> <span class="keyword">val</span> namespace_display_prefix :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> string<br> <span class="keyword">val</span> namespace_uri :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> string<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a spec <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension<br> <span class="keyword">val</span> make_spec_from_mapping :<br> ?super_root_exemplar:(<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a)<br> <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> ?comment_exemplar:<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> ?default_pinstr_exemplar:<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> ?pinstr_mapping:(string, <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node) <span class="constructor">Hashtbl</span>.t <span class="keywordsign">-></span><br> data_exemplar:<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> default_element_exemplar:<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> element_mapping:(string, <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node) <span class="constructor">Hashtbl</span>.t <span class="keywordsign">-></span><br> unit <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.spec<br> <span class="keyword">val</span> make_spec_from_alist :<br> ?super_root_exemplar:(<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a)<br> <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> ?comment_exemplar:<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> ?default_pinstr_exemplar:<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> ?pinstr_alist:(string * <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node) list <span class="keywordsign">-></span><br> data_exemplar:<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> default_element_exemplar:<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> element_alist:(string * <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node) list <span class="keywordsign">-></span><br> unit <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.spec<br> <span class="keyword">val</span> get_data_exemplar :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.spec <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">val</span> get_element_exemplar :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.spec <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span> (string * string) list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">val</span> get_super_root_exemplar :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.spec <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">val</span> get_comment_exemplar :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.spec <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">val</span> get_pinstr_exemplar :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.spec <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.proc_instruction <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">val</span> create_data_node :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.spec <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">val</span> create_element_node :<br> ?name_pool_for_attribute_values:<span class="constructor">Pxp_types</span>.pool <span class="keywordsign">-></span><br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span><br> ?valcheck:bool <span class="keywordsign">-></span><br> ?att_values:(string * <span class="constructor">Pxp_types</span>.att_value) list <span class="keywordsign">-></span><br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.spec <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> string <span class="keywordsign">-></span> (string * string) list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">val</span> create_super_root_node :<br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span><br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.spec <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">val</span> create_comment_node :<br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span><br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.spec <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">val</span> create_pinstr_node :<br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span><br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.spec <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.proc_instruction <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">val</span> create_no_node :<br> ?entity_id:<span class="constructor">Pxp_types</span>.entity_id <span class="keywordsign">-></span><br> ?position:string * int * int <span class="keywordsign">-></span><br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.spec <span class="keywordsign">-></span><br> <span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">val</span> compare :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> int<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a ord_index<br> <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension<br> <span class="keyword">val</span> create_ord_index :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.ord_index<br> <span class="keyword">val</span> ord_number :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a)<br> <span class="constructor">Pxp_document</span>.ord_index <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> ord_compare :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a)<br> <span class="constructor">Pxp_document</span>.ord_index <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> find :<br> ?deeply:bool <span class="keywordsign">-></span><br> ((<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> bool) <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">val</span> find_all :<br> ?deeply:bool <span class="keywordsign">-></span><br> ((<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> bool) <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node list<br> <span class="keyword">val</span> find_element :<br> ?deeply:bool <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span><br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">val</span> find_all_elements :<br> ?deeply:bool <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span><br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node list<br> <span class="keyword">exception</span> <span class="constructor">Skip</span><br> <span class="keyword">val</span> map_tree :<br> pre:((<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a)<br> <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> (<span class="keywordsign">'</span>b <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>b)<br> <span class="constructor">Pxp_document</span>.node) <span class="keywordsign">-></span><br> ?post:(<span class="keywordsign">'</span>b <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">Pxp_document</span>.node) <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">val</span> map_tree_sibl :<br> pre:((<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a)<br> <span class="constructor">Pxp_document</span>.node option <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node option <span class="keywordsign">-></span><br> (<span class="keywordsign">'</span>b <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>b)<br> <span class="constructor">Pxp_document</span>.node) <span class="keywordsign">-></span><br> ?post:(<span class="keywordsign">'</span>b <span class="constructor">Pxp_document</span>.node option <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>b <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>b <span class="constructor">Pxp_document</span>.node option <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">Pxp_document</span>.node) <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">val</span> iter_tree :<br> ?pre:((<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a)<br> <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span><br> ?post:(<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> iter_tree_sibl :<br> ?pre:((<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a)<br> <span class="constructor">Pxp_document</span>.node option <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node option <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span><br> ?post:(<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node option <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node option <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> unit<br> <span class="keyword">type</span> stripping_mode =<br> [ <span class="keywordsign">`</span><span class="constructor">Disabled</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Strip_one</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Strip_one_lf</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Strip_seq</span> ]<br> <span class="keyword">val</span> strip_whitespace :<br> ?force:bool <span class="keywordsign">-></span><br> ?left:<span class="constructor">Pxp_document</span>.stripping_mode <span class="keywordsign">-></span><br> ?right:<span class="constructor">Pxp_document</span>.stripping_mode <span class="keywordsign">-></span><br> ?delete_empty_nodes:bool <span class="keywordsign">-></span><br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> unit<br> <span class="keyword">val</span> normalize :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> unit<br> <span class="keyword">val</span> validate :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> unit<br> <span class="keyword">class</span> [<span class="keywordsign">'</span>a] document :<br> ?swarner:<span class="constructor">Pxp_types</span>.symbolic_warnings <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.collect_warnings <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.rep_encoding <span class="keywordsign">-></span><br> <span class="keyword">object</span><br> <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension<br> <span class="keyword">method</span> add_pinstr : <span class="constructor">Pxp_dtd</span>.proc_instruction <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> display :<br> ?prefer_dtd_reference:bool <span class="keywordsign">-></span><br> ?dtd_style:[ <span class="keywordsign">`</span><span class="constructor">Auto</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Included</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Omit</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Reference</span> ] <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> dtd : <span class="constructor">Pxp_dtd</span>.dtd<br> <span class="keyword">method</span> dump : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> encoding : <span class="constructor">Pxp_types</span>.rep_encoding<br> <span class="keyword">method</span> init_root : <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> init_xml_version : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> pinstr : string <span class="keywordsign">-></span> <span class="constructor">Pxp_dtd</span>.proc_instruction list<br> <span class="keyword">method</span> pinstr_names : string list<br> <span class="keyword">method</span> raw_root_name : string<br> <span class="keyword">method</span> root : <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node<br> <span class="keyword">method</span> write :<br> ?default:string <span class="keywordsign">-></span><br> ?prefer_dtd_reference:bool <span class="keywordsign">-></span><br> ?dtd_style:[ <span class="keywordsign">`</span><span class="constructor">Auto</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Included</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Omit</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Reference</span> ] <span class="keywordsign">-></span><br> ?minimization:[ <span class="keywordsign">`</span><span class="constructor">AllEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">DeclaredEmpty</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> ] <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.output_stream <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.encoding <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> xml_standalone : bool<br> <span class="keyword">method</span> xml_version : string<br> <span class="keyword">end</span><br> <span class="keyword">val</span> print_node :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.node <span class="keywordsign">-></span><br> unit<br> <span class="keyword">val</span> print_doc :<br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a)<br> <span class="constructor">Pxp_document</span>.document <span class="keywordsign">-></span> unit<br> <span class="keyword">exception</span> <span class="constructor">Error_event</span> <span class="keyword">of</span> exn<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a solid_xml =<br> [ <span class="keywordsign">`</span><span class="constructor">Document</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.document <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Node</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node ]<br> <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension<br> <span class="keyword">val</span> solidify :<br> ?dtd:<span class="constructor">Pxp_dtd</span>.dtd <span class="keywordsign">-></span><br> <span class="constructor">Pxp_types</span>.config <span class="keywordsign">-></span><br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Pxp_document</span>.spec <span class="keywordsign">-></span><br> (unit <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.event option) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.solid_xml<br> <span class="keyword">val</span> liquefy :<br> ?omit_end:bool <span class="keywordsign">-></span><br> ?omit_positions:bool <span class="keywordsign">-></span><br> (<span class="keywordsign">'</span>a <span class="constructor">Pxp_document</span>.node <span class="keywordsign">#</span><span class="constructor">Pxp_document</span>.extension <span class="keyword">as</span> <span class="keywordsign">'</span>a)<br> <span class="constructor">Pxp_document</span>.solid_xml <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="constructor">Pxp_types</span>.event option<br> <span class="keyword">end</span></code></body></html>