- fun input ->
- let (_, metasenv, term) =
- Disambiguate'.disambiguate_term
- mqi_handle empty_context empty_metasenv input empty_environment
- in
- MQIConn.close mqi_handle; (metasenv, term)
+ fun input ugraph ->
+ (Disambiguate'.disambiguate_term
+ ~dbd empty_context empty_metasenv input empty_environment
+ ~initial_ugraph:ugraph)