X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fnode.mli;fp=src%2Fnode.mli;h=84472ac4c84ac7a5ee6257d2bb61748c288e1678;hb=a4b9c7188c2169eddaeabe66a5706a4ec1b6872d;hp=2aecb70a05a93cad0195df927259609822f83a60;hpb=17afdb3ccb907d179f65220d5baea45ad532fc91;p=SXSI%2Fxpathcomp.git diff --git a/src/node.mli b/src/node.mli index 2aecb70..84472ac 100644 --- a/src/node.mli +++ b/src/node.mli @@ -1,4 +1,4 @@ -type 'a t = private int +type +'a t = private int val nil : 'a t val null : 'a t val is_nil : 'a t -> bool