module Disambiguate' = Disambiguate.Make(C);;
class term_editor_impl
+ mqi_handle
?packing ?width ?height
?isnotempty_callback ?share_id_to_uris_with () : term_editor
=
~context:name_context ~metasenv TexCicTextualLexer.token lexbuf
in
let id_to_uris',metasenv,expr =
- Disambiguate'.disambiguate_input
+ Disambiguate'.disambiguate_input mqi_handle
context metasenv dom mk_metasenv_and_expr ~id_to_uris:!id_to_uris
in
id_to_uris := id_to_uris' ;