X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fnode.mli;h=84472ac4c84ac7a5ee6257d2bb61748c288e1678;hb=2a7218fd2a985ed57732f9f7b9a0b62f4b2c83df;hp=2aecb70a05a93cad0195df927259609822f83a60;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;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