- fun input ->
- List.map (fun (_,metasenv,term) -> metasenv,term)
- (Disambiguate'.disambiguate_term
- mqi_handle empty_context empty_metasenv input empty_environment)
+ fun input ugraph ->
+ (Disambiguate'.disambiguate_term
+ ~dbd empty_context empty_metasenv input empty_environment
+ ~initial_ugraph:ugraph)