let input_or_locate_uri ~(title:string) ?id = raise Exit
end
module Disambiguator = Make (Callbacks)
- let disambiguate_string ~dbd context metasenv ?initial_ugraph
- ?(aliases = DisambiguateTypes.Environment.empty) term =
+ let disambiguate_string ~dbd ?(context=[]) ?(metasenv=[]) ?initial_ugraph
+ ?(aliases=DisambiguateTypes.Environment.empty) term =
let ast = CicTextualParser2.parse_term (Stream.of_string term) in
try
Disambiguator.disambiguate_term ~dbd context metasenv ast ?initial_ugraph