X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fgrammar.mli;fp=src%2Fgrammar.mli;h=3e355d4cc6a1f34e6f0f1a36d8285876701deb5e;hb=7166a99542af5ad2f5b53fe9fa9e5164dff7cfe5;hp=0000000000000000000000000000000000000000;hpb=dabbda9e7f33734a3be4125f029b850ea39e2f19;p=SXSI%2Fxpathcomp.git

diff --git a/src/grammar.mli b/src/grammar.mli
new file mode 100644
index 0000000..3e355d4
--- /dev/null
+++ b/src/grammar.mli
@@ -0,0 +1,3 @@
+type t
+
+val load : string -> bool -> t