unit ->
sequents_viewer
-val cicBrowser:
- disambiguator:MatitaTypes.disambiguator ->
- unit ->
- MatitaTypes.cicBrowser
+val cicBrowser: unit -> MatitaTypes.cicBrowser
val refresh_all_browsers: unit -> unit
-val mathViewer:
- disambiguator:MatitaTypes.disambiguator ->
- unit ->
- MatitaTypes.mathViewer
+val mathViewer: unit -> MatitaTypes.mathViewer