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
7 let input_file = ref ""
8 let output_file : string option ref = ref None
10 let count_only = 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
20 let docstats = ref false
21 let no_wrap_results = ref false