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