X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=e4c60c8d91bad3906c6b011b299e0853af130692;hb=bf2b1a91300ace1e7e83bd78f868a269d86498f9;hp=280d97dac608cffdcd8360f6eb179e09ca8d723d;hpb=7b6e25ac7c3b4e06c8386c1090bb69ae97a47143;p=SXSI%2Fxpathcomp.git diff --git a/tree.mli b/tree.mli index 280d97d..e4c60c8 100644 --- a/tree.mli +++ b/tree.mli @@ -11,7 +11,7 @@ val load : ?sample:int -> ?load_text:bool -> string -> t val tag_pool : t -> Tag.pool -type 'a node = private int +type 'a node type node_kind = [ `Tree | `Text ] val equal : [ `Tree ] node -> [ `Tree ] node -> bool val compare : [ `Tree ] node -> [ `Tree ] node -> int