--- /dev/null
+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