X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fgrammar.mli;h=29fc43c84d71df777f0e545d1b8a6d0d3d5cdcf6;hb=bca508d0e826bc09f8975ba28720a867a828782f;hp=3e355d4cc6a1f34e6f0f1a36d8285876701deb5e;hpb=7166a99542af5ad2f5b53fe9fa9e5164dff7cfe5;p=SXSI%2Fxpathcomp.git diff --git a/src/grammar.mli b/src/grammar.mli index 3e355d4..29fc43c 100644 --- a/src/grammar.mli +++ b/src/grammar.mli @@ -1,3 +1,4 @@ type t +type node = [ `Grammar ] Node.t val load : string -> bool -> t