"ml_gtk_math_view_set_log_verbosity"
external get_log_verbosity : [>`math_view] obj -> int =
"ml_gtk_math_view_get_log_verbosity"
"ml_gtk_math_view_set_log_verbosity"
external get_log_verbosity : [>`math_view] obj -> int =
"ml_gtk_math_view_get_log_verbosity"