X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fgrammar2.mli;fp=src%2Fgrammar2.mli;h=8d84e4e66966bc04259594e3b49ff6aabb6eab47;hb=3dc9065cb7e4b38bf25e6fb50017efa5b11de4ff;hp=0000000000000000000000000000000000000000;hpb=ae5b9f9b96a702ae8a8f61a31e5aa012283ce185;p=SXSI%2Fxpathcomp.git

diff --git a/src/grammar2.mli b/src/grammar2.mli
new file mode 100644
index 0000000..8d84e4e
--- /dev/null
+++ b/src/grammar2.mli
@@ -0,0 +1,4 @@
+type t
+val parse : string -> t
+val save : t -> string -> unit
+val load : string -> t