Add function to cast tags to integers.

[SXSI/xpathcomp.git] / src / tag.mli

diff --git a/src/tag.mli b/src/tag.mli
index 04254e0..7e742c1 100644 (file)
--- a/src/tag.mli
+++ b/src/tag.mli
@@ -6,7 +6,7 @@ type operations = {
   translate : t -> t
 }
 
-
+external  to_int : t -> int = "%identity"
 val document_node : t
 val attribute : t
 val pcdata : t