X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Foptions.mli;fp=src%2Foptions.mli;h=497f565cd39b33f67c6d7b9c24c16e593a24eed9;hb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;hp=0000000000000000000000000000000000000000;hpb=a223af3254fb51c279cfbccdc18c59484fdca74e;p=SXSI%2Fxpathcomp.git

diff --git a/src/options.mli b/src/options.mli
new file mode 100644
index 0000000..497f565
--- /dev/null
+++ b/src/options.mli
@@ -0,0 +1,15 @@
+val parse_cmdline : unit -> unit
+val index_empty_texts : bool ref
+val sample_factor : int ref
+val disable_text_collection : bool ref
+val count_only : bool ref
+val query : string ref
+val input_file : string ref
+val output_file : string option ref
+val save_file : string ref
+val time : bool ref
+val tc_threshold : int ref
+val bottom_up : bool ref
+val no_jump : bool ref
+val verbose : bool ref
+val text_index_type : int ref