(*
module ChosenTermEditor  = TexTermEditor;;
*)
module ChosenTermEditor = TermEditor;;

module Make = ChosenTermEditor.Make;;
class type term_editor = ChosenTermEditor.term_editor;;