class type cicBrowser =
object
- method loadUri: string -> unit
- method loadTerm: MatitaTypes.term_source -> unit
+ method load: MatitaTypes.mathViewer_entry -> unit
+ (* method loadList: string list -> MatitaTypes.mathViewer_entry -> unit *)
+ method loadInput: string -> unit
end
(** {2 Constructors} *)