X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=e4c60c8d91bad3906c6b011b299e0853af130692;hb=ac8720a930e5757a72f73e80aff7a988b0082831;hp=280d97dac608cffdcd8360f6eb179e09ca8d723d;hpb=d046f2b9d8e39b30350399eafe122c30ff61c8c1;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