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
in
let empty_context = [] in
let empty_metasenv = [] in
- fun input ->
+ fun input ugraph ->
(Disambiguate'.disambiguate_term
- mqi_handle empty_context empty_metasenv input empty_environment)
+ ~dbd empty_context empty_metasenv input empty_environment
+ ~initial_ugraph:ugraph)
-let parse_pp mqi_handle ?uri_pred input =
- List.map (fun (_,_,t) -> CicPp.ppterm t)
- (parse mqi_handle ?uri_pred input)
+let parse_pp dbd ?uri_pred input ugraph =
+ List.map (fun (_,_,t,_) -> CicPp.ppterm t)
+ (parse dbd ?uri_pred input ugraph )