val sequents_viewer:
notebook:GPack.notebook ->
sequent_viewer:sequent_viewer ->
- set_goal:(int -> unit) ->
unit ->
sequents_viewer
val mathViewer: unit -> MatitaTypes.mathViewer
+(** {2 singleton instances} *)
+
+val sequent_viewer_instance: unit -> sequent_viewer
+val sequents_viewer_instance: unit -> sequents_viewer
+