]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mlminidom/minidom.ml
mlminidom 0.0.2 for minidom 0.1.3
[helm.git] / helm / DEVEL / mlminidom / minidom.ml
index 118b0d070f56adce245c4a7834a31b620bbd3812..1c8e2f7b83b4102cc1ffc8bc9a3fec6dbe43029e 100644 (file)
@@ -30,8 +30,6 @@ external mDOMString_of_string : string -> mDOMString = "ml_mDOMString_of_string"
 external mDOMString_eq : string -> string -> bool = "ml_mDOMString_eq"
 
 external doc_load : string -> mDOMDoc = "ml_doc_load"
-external doc_unload : mDOMDoc -> unit = "ml_doc_unload"
-
 external doc_new : mDOMString -> mDOMDoc = "ml_doc_new"
 external doc_get_root_node : mDOMDoc -> mDOMNode = "ml_doc_get_root_node"
 
@@ -49,6 +47,8 @@ external node_get_name : mDOMNode -> mDOMString option = "ml_node_get_name"
 external node_get_ns_uri : mDOMNode -> mDOMString option = "ml_node_get_ns_uri"
 external node_get_attribute : mDOMNode -> mDOMString -> mDOMString option = "ml_node_get_attribute"
 external node_get_attribute_ns : mDOMNode -> mDOMString -> mDOMString -> mDOMString option = "ml_node_get_attribute_ns"
+external node_has_attribute : mDOMNode -> mDOMString -> bool = "ml_node_has_attribute"
+external node_has_attribute_ns : mDOMNode -> mDOMString -> mDOMString -> bool = "ml_node_has_attribute_ns"
 external node_get_content : mDOMNode -> mDOMString option = "ml_node_get_content"
 external node_get_parent : mDOMNode -> mDOMNode option = "ml_node_get_parent"
 external node_get_prev_sibling : mDOMNode -> mDOMNode option = "ml_node_get_prev_sibling"