- let time = Unix.gettimeofday () in
- let (diff, metasenv, _, cic, _) =
- singleton "third"
- (CicDisambiguate.disambiguate_obj
- ~lookup_in_library
- ~mk_choice:cic_mk_choice
- ~mk_implicit
- ~description_of_alias:LexiconAst.description_of_alias
- ~aliases:lexicon_status.LexiconEngine.aliases
- ~universe:(Some lexicon_status.LexiconEngine.multi_aliases) ~uri
- (text,prefix_len,obj)) in
-
- let time = Unix.gettimeofday () -. time in
-(*
- prerr_endline ("VECCHIA DISAMBIGUAZIONE: " ^ string_of_float time);