X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fnode.mli;fp=src%2Fnode.mli;h=2aecb70a05a93cad0195df927259609822f83a60;hb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;hp=0000000000000000000000000000000000000000;hpb=a223af3254fb51c279cfbccdc18c59484fdca74e;p=SXSI%2Fxpathcomp.git

diff --git a/src/node.mli b/src/node.mli
new file mode 100644
index 0000000..2aecb70
--- /dev/null
+++ b/src/node.mli
@@ -0,0 +1,11 @@
+type 'a t = private int
+val nil : 'a t
+val null : 'a t
+val is_nil : 'a t -> bool
+val print : Format.formatter -> 'a t -> unit
+val compare : 'a t -> 'a t -> int
+val equal : 'a t -> 'a t -> bool
+val hash : 'a t -> int
+
+external to_int : 'a t -> int = "%identity"
+external of_int : int -> 'a t = "%identity"