- no longer build by default old cic_textual_parser
module Make (C : DisambiguateTypes.Callbacks) =
struct
module Make (C : DisambiguateTypes.Callbacks) =
struct
- let
- disambiguate_term mqi_handle context metasenv term_as_string environment
+ let disambiguate_term ~(dbh:Dbi.connection) context metasenv term_as_string
+ aliases
- let module Disambiguate' = Disambiguate.Make (C) in
+ let module Disambiguate' = Disambiguate.Make (C) in
- CicTextualParser2.parse_term (Stream.of_string term_as_string)
+ CicTextualParser2.parse_term (Stream.of_string term_as_string)
- Disambiguate'.disambiguate_term
- mqi_handle context metasenv term environment
+ Disambiguate'.disambiguate_term ~dbh context metasenv term ~aliases
module CSCTextualDisambiguatingParser =
struct
module EnvironmentP3 = OldDisambiguate.EnvironmentP3
module CSCTextualDisambiguatingParser =
struct
module EnvironmentP3 = OldDisambiguate.EnvironmentP3
context metasenv dom mk_metasenv_and_expr environment
end
end
context metasenv dom mk_metasenv_and_expr environment
end
end
module Make (C : DisambiguateTypes.Callbacks) :
sig
val disambiguate_term :
module Make (C : DisambiguateTypes.Callbacks) :
sig
val disambiguate_term :
Cic.context ->
Cic.metasenv ->
string ->
Cic.context ->
Cic.metasenv ->
string ->