Add function to cast tags to integers.

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

diff --git a/src/tag.ml b/src/tag.ml
index 2cc1663..effe9c3 100644 (file)
--- a/src/tag.ml
+++ b/src/tag.ml
@@ -8,7 +8,7 @@
 
 
 type t = int
-
+external to_int : t -> int = "%identity"
 type operations = {
   tag :  string -> t;
   to_string : t ->string;