"ml_gtk_math_view_gdome_element_option_of_boxed_option"
;;
-external model_event_of_boxed_option model_event :
- Gpointer.boxed -> TElement.t option * gint * gint * gint =
- "ml_gtk_math_view_model_event_of_boxed"
+external model_event_of_boxed_option :
+ Gpointer.boxed option -> TElement.t option * int * int * int =
+ "ml_gtk_math_view_model_event_of_boxed_option"
let option_element_of_option =
function
let model_event_of_boxed model_event =
let id,x,y,state = model_event_of_boxed_option model_event in
- option_element_of_boxed_option id,x,y,state
+ option_element_of_option id,x,y,state
;;
let gdome_element_option_conv =