(* A WIDGET TO ENTER CIC TERMS *)
-module Callbacks =
+module DisambiguateCallbacks =
struct
let output_html ?append_NL = output_html ?append_NL (outputhtml ())
let interactive_user_uri_choice =
end
;;
-module TermEditor' = ChosenTermEditor.Make(Callbacks);;
+module TermEditor' = ChosenTermEditor.Make (DisambiguateCallbacks);;
(* OTHER FUNCTIONS *)