-external mDOMNode_option_of_boxed_option :
- Gpointer.boxed option -> Minidom.mDOMNode option =
- "ml_gtk_math_view_mDOMNode_option_of_boxed_option"
-
-let o_mDOMNode_of_mDOMNode node = new Ominidom.o_mDOMNode node
-
-let o_mDOMNode_option_of_mDOMNode_option =
- function
- | Some x -> Some (o_mDOMNode_of_mDOMNode x)
- | None -> None
-
-let mDOMNode_option_of_o_mDOMNode_option =
- function
- | Some x -> Some (x#get_dom_node)
- | None -> None
+external gdome_element_option_of_boxed_option :
+ Gpointer.boxed option -> TElement.t option =
+ "ml_gtk_math_view_gdome_element_option_of_boxed_option"