(** @param reuse if set reused last opened cic browser otherwise
* opens a new one. default is false *)
val cicBrowser: ?reuse:bool -> MatitaTypes.mathViewer_entry option -> unit
(** @param reuse if set reused last opened cic browser otherwise
* opens a new one. default is false *)
val cicBrowser: ?reuse:bool -> MatitaTypes.mathViewer_entry option -> unit