in
let module Disambiguate' = DisambiguatingParser.Make(Chat) in
let (id_to_uris', metasenv', term') =
+ match
Disambiguate'.disambiguate_term mqi_handle
context metasenv term_string id_to_uris
+ with
+ [id_to_uris',metasenv',term'] -> id_to_uris',metasenv',term'
+ | _ -> assert false
in
(match metasenv' with
| [] ->