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 get_tex : editor:t -> string
28 = "ml_mathml_editor_get_tex"
30 external get_tml : editor:t -> TDocument.t
31 = "ml_mathml_editor_get_tml"
33 external get_mml : editor:t -> TDocument.t
34 = "ml_mathml_editor_get_mml"