- method checkTerm: Cic.conjecture -> Cic.metasenv -> unit
- method unload: unit -> unit
- method set_href_callback: (UriManager.uri -> unit) option -> unit
+ method checkTerm: term_source -> unit
+ end
+
+class type cicBrowser =
+ object
+ method loadUri: string -> unit
+ method loadTerm: term_source -> unit