- let term =
- Parser.parse_term (Stream.of_string (input#buffer#get_text ()))
- in
- let id_to_uris',metasenv,expr =
- Disambiguate'.disambiguate_term mqi_handle context metasenv term
- ~aliases:!id_to_uris
+ let environment',metasenv,expr,ugraph =
+ match
+ Disambiguate'.disambiguate_term ~dbd ~context ~metasenv
+ (input#buffer#get_text ()) ~initial_ugraph:CicUniv.empty_ugraph
+ ~aliases:!environment
+ with
+ [environment',metasenv,expr,u] -> environment',metasenv,expr,u
+ | _ -> assert false