src/config.ml

   1 let index_empty_texts = ref true
   2 let sample_factor = ref 64
   3 let disable_text_collection = ref false
   4 let tc_threshold = ref 60000
   5
   6 let query = ref ""
   7 let input_file = ref ""
   8 let output_file : string option ref = ref None
   9 let save_file = ref ""
  10 let count_only = ref false
  11 let time = ref false
  12 let bottom_up = ref false
  13 let no_jump = ref false
  14 let no_cache = ref false
  15 let verbose = ref false
  16 let text_index_type = ref 0
  17 let do_perf = ref false
  18 let twopass = ref false
  19 let repeat = ref 1
  20 let docstats = ref false
  21 let no_wrap_results = ref false