let _ = set_binary_mode_in in_c true in
let load_table () =
(let ms = input_line in_c in if ms <> magic_string then failwith "Invalid index file");
let _ = set_binary_mode_in in_c true in
let load_table () =
(let ms = input_line in_c in if ms <> magic_string then failwith "Invalid index file");
let c = load_tag_table in_c in
let s = load_tag_table in_c in
let d = load_tag_table in_c in
let c = load_tag_table in_c in
let s = load_tag_table in_c in
let d = load_tag_table in_c in
in
traverse tree.doc root [] 0;
let sumdepth = Hashtbl.fold (fun p c acc -> (List.length p) * c + acc) h 0 in
in
traverse tree.doc root [] 0;
let sumdepth = Hashtbl.fold (fun p c acc -> (List.length p) * c + acc) h 0 in