in
let module Disambiguate' = Disambiguate.Make(Chat) in
let ast = CicTextualParser2.parse_term (Stream.of_string term_str) in
- prerr_endline "prima della disambiguazione";
let (id_to_uris, metasenv, term) =
match
Disambiguate'.disambiguate_term dbd context metasenv ast id_to_uris
| [id_to_uris,metasenv,term,_] -> id_to_uris,metasenv,term
| _ -> assert false
in
- prerr_endline "dopo la disambiguazione";
let uris =
match req#path with
| "/match" -> MetadataQuery.match_term ~dbd term