+let sequent_viewer ?hadjustment ?vadjustment ?font_size ?log_verbosity =
+ GtkBase.Container.make_params ~cont:(
+ OgtkMathViewProps.pack_return
+ (fun p -> OgtkMathViewProps.set_params (new sequent_viewer (GtkMathViewProps.MathView.create p)) ~font_size ~log_verbosity)) []
+;;
+
+(*