class type cicBrowser =
object
method load: MatitaTypes.mathViewer_entry -> unit
- method loadList: string list -> MatitaTypes.mathViewer_entry -> unit
+ (* method loadList: string list -> MatitaTypes.mathViewer_entry -> unit *)
method loadInput: string -> unit
end