module Disambiguate' = DisambiguatingParser.Make (DisambiguateCallbacks)
-let parse mqi_handle ?(uri_pred = constants_only ~prefix:"") =
+let parse dbd ?(uri_pred = constants_only ~prefix:"") =
uri_predicate := uri_pred;
let empty_environment =
DisambiguatingParser.EnvironmentP3.of_string
let empty_metasenv = [] in
fun input ->
(Disambiguate'.disambiguate_term
- mqi_handle empty_context empty_metasenv input empty_environment)
+ dbd empty_context empty_metasenv input empty_environment)
-let parse_pp mqi_handle ?uri_pred input =
+let parse_pp dbd ?uri_pred input =
List.map (fun (_,_,t) -> CicPp.ppterm t)
- (parse mqi_handle ?uri_pred input)
+ (parse dbd ?uri_pred input)