5 dictionary:[> `Document] GdomeT.t ->
6 mml: [> `Document] GdomeT.t ->
7 tex: [> `Document] GdomeT.t ->
8 log:(int -> string -> unit) ->
10 = "ml_mathml_editor_new"
12 external freeze : editor:t -> bool
13 = "ml_mathml_editor_freeze"
15 external thaw : editor:t -> bool
16 = "ml_mathml_editor_thaw"
18 external reset : editor:t -> unit
19 = "ml_mathml_editor_reset"
21 external push : editor:t -> ch:char -> unit
22 = "ml_mathml_editor_push"
24 external drop : editor:t -> alt:bool -> unit
25 = "ml_mathml_editor_drop"
27 external cursor_hide : editor:t -> unit
28 = "ml_mathml_editor_cursor_hide"
30 external cursor_show : editor:t -> unit
31 = "ml_mathml_editor_cursor_show"
33 external get_tex : editor:t -> string
34 = "ml_mathml_editor_get_tex"
36 external get_tml : editor:t -> TDocument.t
37 = "ml_mathml_editor_get_tml"
39 external get_mml : editor:t -> TDocument.t
40 = "ml_mathml_editor_get_mml"