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