module AndreaAndZackDisambiguatingParser =
struct
- module EnvironmentP3 = DisambiguateTypes.EnvironmentP3
+ module EnvironmentP3 = CicTextualParser2.EnvironmentP3
module Make (C : DisambiguateTypes.Callbacks) =
struct
- let
- disambiguate_term mqi_handle context metasenv term_as_string environment
+ let disambiguate_term ~(dbd:Mysql.dbd) ~context ~metasenv
+ ?initial_ugraph ~aliases term_as_string
=
- let module Disambiguate' = Disambiguate.Make (C) in
+ let module Disambiguate' = Disambiguate.Make (C) in
let term =
- CicTextualParser2.parse_term (Stream.of_string term_as_string)
+ CicTextualParser2.parse_term (Stream.of_string term_as_string)
in
- Disambiguate'.disambiguate_term
- mqi_handle context metasenv term environment
+ Disambiguate'.disambiguate_term ~dbd ~context ~metasenv
+ ?initial_ugraph ~aliases term
end
end
+(*
module CSCTextualDisambiguatingParser =
struct
module EnvironmentP3 = OldDisambiguate.EnvironmentP3
context metasenv dom mk_metasenv_and_expr environment
end
end
+*)
@CHOSEN_TERM_PARSER@