- external log_set_verbosity : [>`math_view] obj -> int -> unit =
- "ml_gtk_math_view_log_set_verbosity"
- external log_get_verbosity : [>`math_view] obj -> int =
- "ml_gtk_math_view_log_get_verbosity"
+ external set_log_verbosity : [>`math_view] obj -> int -> unit =
+ "ml_gtk_math_view_set_log_verbosity"
+ external get_log_verbosity : [>`math_view] obj -> int =
+ "ml_gtk_math_view_get_log_verbosity"